Keywords: Modal Logic
2017
[25] Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute, volume 9, pp. 43-57, 2017. [bibtex] [pdf]
[24] Computer-Assisted Analysis of the Anderson-Hájek Controversy (Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo), In Logica Universalis, volume 11, number 1, pp. 139-151, 2017. [bibtex] [pdf] [doi]
[23] Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic (David Fuenmayor, Christoph Benzmüller), In KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Springer, LNAI, 2017. [bibtex] [pdf]
[22] Theorem Provers for Every Normal Modal Logic (Tobias Gleißner, Alexander Steen, Christoph Benzmüller), In LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Thomas Eiter, David Sands, eds.), EasyChair, EPiC Series in Computing, volume 46, pp. 14-30, 2017. [bibtex] [pdf]
2016
[21] TPTP and Beyond: Representation of Quantified Non-Classical Logics (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 1770, pp. 51-65, 2016. [bibtex] [pdf]
[20] Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (Alexander Steen, Max Wisniewski, Christoph Benzmüller), In GCAI 2016, 2nd Global Conference on Artificial Intelligence (Christoph Benzüller, Raul Rojas, Geoff Sutcliffe, eds.), EasyChair, EPiC Series in Computing, volume 41, pp. 1-10, 2016. [bibtex] [pdf]
[19] An Object-Logic Explanation for the Inconsistency in Gödel's Ontological Theory (Extended Abstract, Sister Conferences) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In KI 2016: Advances in Artificial Intelligence, Proceedings (Malte Helmert, Franz Wotawa, eds.), Springer, LNCS, pp. 244-250, 2016. [bibtex] [pdf] [doi]
[18] Translating Higher-Order Modal Logic from RuleML to TPTP (Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha), In Proceedings of the RuleML 2016 Challenge, the Special Industry Track and the RuleML 2016 Doctoral Consortium hosted by the 10th International Web Rule Symposium (RuleML 2016) (A. Giurca, W. Van Woensel, R. Grütter, K. Teymourian, T. Athan, M. Proctor, eds.), CEUR-WS.org, CEUR Workshop Proceedings, volume Vol-1620, 2016. [bibtex] [pdf]
[17] Analysis of an Ontological Proof Proposed by Leibniz (Matthias Bentert, Christoph Benzmüller, David Streit, Bruno Woltzenlogel Paleo), Chapter in Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz (Charles Tandy, ed.), Ria University Press, 2016. (Preprint: http://christoph-benzmueller.de/papers/B16.pdf) [bibtex] [pdf]
[16] The Modal Collapse as a Collapse of the Modal Square of Opposition (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Chapter in The Square of Opposition: A Cornerstone of Thought (Collection of papers related to the World Congress on the Square of Opposition IV, Vatican, 2014), http://www.springer.com/us/book/9783319450612 (Jean-Yves Béziau, Gianfranco Basti, eds.), Springer International Publishing Switzerland, Studies in Universal Logic, 2016. [bibtex] [pdf] [doi]
2015
[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, www.binstitute.org, pp. 23-40, 2015. (slides) ((Invited paper)) [bibtex] [pdf]
2013
[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]
2012
[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]
2011
[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]
2010
[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]
2008
[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