Multimodal and intuitionistic logics in simple type theory (0)

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