Multimodal and intuitionistic logics in simple type theory. The Logic (0)

by Christoph Benzmüller, Lawrence C Paulson
Venue:Journal of the IGPL, 2010. In print