Keywords: Modal Logics
[15] On Logic Embeddings and Gödel's God (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Mihai Codescu, Razvan Diaconescu, Ionut Tutu, eds.), Springer, LNCS, number 9563, pp. 3-6, 2015. ((Invited paper)) [bibtex] [pdf] [doi]
[14] Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Science & Spiritual Quest, Proceedings of the 9th All India Students' Conference, 30th October -- 1 November, 2015, IIT Kharagpur, India (Subhash C. Mishram, Ramgopal Uppaluri, Varun Agarwal, eds.), Bhaktivedanta Institute, Kolkata,, pp. 23-40, 2015. (slides) ((Invited paper)) [bibtex] [pdf]
[13] Implementing Different Proof Calculi for First-order Modal Logics (Christoph Benzmüller, Jens Otten, Thomas Raths), In PAAR-2012 (Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, eds.), EasyChair, EPiC Series in Computing, volume 21, pp. 12-18, 2013. [bibtex] [pdf]
[12] Quantified Multimodal Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In Logica Universalis (Special Issue on Multimodal Logics), volume 7, number 1, pp. 7-20, 2013. [bibtex] [pdf] [doi]
[11] HOL based First-order Modal Logic Provers (Christoph Benzmüller, Thomas Raths), In Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, eds.), Springer, LNCS, volume 8312, pp. 127-136, 2013. [bibtex] [pdf] [doi]
[10] HOL based Universal Reasoning (Christoph Benzmüller), In Handbook of the 4th World Congress and School on Universal Logic (J.Y. Beziau, A. Buchsbaum, A. Costa-Leite, A. Altair, eds.), pp. 232-233, 2013. (slides) ((Superseded by ICAART-2013 paper)) [bibtex] [pdf]
[9] A Top-down Approach to Combining Logics (Christoph Benzmüller), In Proc. of the 5th International Conference on Agents and Artificial Intelligence (ICAART) (Joaquim Filipe, Ana Fred, eds.), SCITEPRESS -- Science and Technology Publications, Lda, volume 1, pp. 346-351, 2013. (slides) [bibtex] [pdf] [doi]
[8] FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends (Christoph Benzmüller, Thomas Raths), Technical report, Freie Universität Berlin, Germany, 2012. (arXiv:1207.6685) [bibtex] [pdf]
[7] Higher-order Aspects and Context in SUMO (Christoph Benzmüller, Adam Pease), In Journal of Web Semantics (Special Issue on Reasoning with context in the Semantic Web), volume 12-13, pp. 104-117, 2012. [bibtex] [pdf] [doi]
[6] Implementing and Evaluating Provers for First-order Modal Logics (Christoph Benzmüller, Jens Otten, Thomas Raths), In ECAI 2012 (Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter Lucas, eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, volume 242, pp. 163-168, 2012. (slides) [bibtex] [pdf] [doi]
[5] Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic (Christoph Benzmüller), In Annals of Mathematics and Artificial Intelligence (Special issue Computational logics in Multi-agent Systems (CLIMA XI)), volume 62, number 1-2, pp. 103-128, 2011. (slides) [bibtex] [pdf] [doi]
[4] Multimodal and Intuitionistic Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In The Logic Journal of the IGPL, volume 18, number 6, pp. 881-892, 2010. [bibtex] [pdf] [doi]
[3] Simple Type Theory as Framework for Combining Logics (Christoph Benzmüller), In Contest paper at the World Congress and School on Universal Logic III (UNILOG), 2010. (slides) (The conference had no published proceedings; the paper is available as arXiv:1004.5500v1) [bibtex] [pdf]
[2] Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners) (Christoph Benzmüller), Chapter in Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Simon Siegler, Nathan Wasser, eds.), Springer, LNCS, volume 6463, pp. 117-128, 2010. ((Superseded by PxTP-2015 paper)) [bibtex] [pdf] [doi]
[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