Multimodal and intuitionistic logics in simple type theory (0)

by C Benzmüller, L C Paulson
Venue:Logic J. of the IGPL