Computer-assisted analysis of the Anderson-Hájek ontological controversy
From MaRDI portal
Publication:523303
DOI10.1007/s11787-017-0160-9zbMath1417.03131OpenAlexW2589185918MaRDI QIDQ523303
Bruno Woltzenlogel Paleo, Leon Weber, Christoph Benzmüller
Publication date: 20 April 2017
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-017-0160-9
higher-order modal logicclassical higher-order logichigher-order automated theorem provingontological argumentshallow semantical embeddinguniversal reasoning
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Variants of Gödel's ontological proof in a natural deduction calculus ⋮ Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ Extensional higher-order paramodulation in Leo-III ⋮ The MET: The Art of Flexible Reasoning with Modalities ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments ⋮ Logic and religion ⋮ Computer-assisted analysis of the Anderson-Hájek ontological controversy ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The higher-order prover \textsc{Leo}-II
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
- Types, tableaus, and Gödel's God
- Isabelle/HOL. A proof assistant for higher-order logic
- A new small emendation of Gödel's ontological proof
- Quantified multimodal logics in simple type theory
- Satallax: An Automatic Higher-Order Prover
- Source-Level Proof Reconstruction for Interactive Theorem Proving
- A completeness theorem in second order modal logic
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
This page was built for publication: Computer-assisted analysis of the Anderson-Hájek ontological controversy
