scientific article; zbMATH DE number 922621

zbMath0855.03005MaRDI QIDQ4893141

C. Anthony Anderson, Michael Gettings

Publication date: 1 September 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Gödel's version of the modal ontological argument for the existence of God

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Variants of Gödel's ontological proof in a natural deduction calculus, Higher-Order Modal Logics: Automation and Applications, Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument, Computer-assisted analysis of the Anderson-Hájek ontological controversy, Semantic analysis of some variants of Anderson-like ontological proofs, THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF