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. (Url (preprint): http://christoph-benzmueller.de/papers/J21.pdf) [bibtex] [doi]
Powered by bibtexbrowser