Quantified multimodal logics in simple type theory (0)

by Christoph Benzmüller, Lawrence Paulson
Venue:Logica Universalis (Special Issue on Multimodal Logics