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: http://christoph-benzmueller.de/papers/J23.pdf) [bibtex] [doi]