Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

DOI10.1007/978-3-319-67190-1_9zbMath1498.68366OpenAlexW2744403047MaRDI QIDQ5044857

David Fuenmayor, Christoph Benzmüller

Publication date: 2 November 2022

Published in: KI 2017: Advances in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-67190-1_9

zbMATH Keywords

modal logichigher-order logicautomated theorem provingIsabelleintensional logicsemantic embeddingontological argumentcomputational metaphysics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument ⋮ Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

This page was built for publication: Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic