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]