Keywords: Intensional Higher-Order Modal Logic
2018
[3] A Deontic Logic Reasoning Infrastructure (Christoph Benzmüller, Xavier Parent, Leendert van der Torre), In 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August, 2018, Proceedings (Russel Miller, Dirk Nowotka, Florin Manea, eds.), Springer, 2018. (To appear) [bibtex] [pdf]
2017
[2] 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]
[1] 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, Dortmund, Germany, September 25-29, 2017, Proceedings, Springer, LNAI, volume 10505, pp. 114-127, 2017. [bibtex] [pdf] [doi]
Powered by bibtexbrowser