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]