Search: J23
2013
[1]Quantified Multimodal Logics in Simple Type Theory (Christoph Benzmüller, Lawrence C. Paulson), In Logica Universalis (Special Issue on Multimodal Logics), volume 7, number 1, pp. 7-20, 2013. (Preprint: https://www.researchgate.net/publication/221677897) [bibtex] [doi]