Variants of Gödel's ontological proof in a natural deduction calculus

DOI10.1007/s11225-016-9700-1zbMath1417.03153MaRDI QIDQ2363503

Bruno Woltzenlogel Paleo, Annika Kanckos

Publication date: 19 July 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10138/235481

zbMATH Keywords

natural deduction; modal logics; ontological argument; higher-order logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

03F03: Proof theory in general (including proof-theoretic semantics)

Uses Software

• Coq
• Isabelle/HOL
• PVS
• Archive Formal Proofs
• GoedelGod