Search: Multimodal And Intuitionistic Logics In Simple Type Theory
2010
[1] Multimodal and Intuitionistic Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In The Logic Journal of the IGPL, volume 18, number 6, pp. 881-892, 2010. [bibtex] [pdf] [doi]
Powered by bibtexbrowser