Search: Exploring Properties Of Normal Multimodal Logics In Simple
[1] Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller, Lawrence Paulson), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 386-406, 2008. ((Superseded by 2013 article in Logica Universalis)) [bibtex] [pdf]
Powered by bibtexbrowser