Variants of Gödel's ontological proof in a natural deduction calculus
DOI10.1007/S11225-016-9700-1zbMATH Open1417.03153OpenAlexW2578542555MaRDI QIDQ2363503FDOQ2363503
Authors: Annika Siders, Bruno Woltzenlogel Paleo 
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
Recommendations
- Gödel's ontological proof and its variants
- Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
- scientific article; zbMATH DE number 922621
- A new small emendation of Gödel's ontological proof
- scientific article; zbMATH DE number 4150116
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- On logic embeddings and Gödel's God
- Modal logic
- Isabelle/HOL. A proof assistant for higher-order logic
- Title not available (Why is that?)
- Higher-order modal logics: automation and applications
- Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
- Higher-order semantics and extensionality
- First-order modal logic
- Title not available (Why is that?)
- Hilbert's Twenty-Fourth Problem
- Types, tableaus, and Gödel's God
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
- Interacting with Modal Logics in the Coq Proof Assistant
- Title not available (Why is that?)
Cited In (12)
- Positive qualities and the ontological argument
- Automating emendations of the ontological argument in intensional higher-order modal logic
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Semantic analysis of some variants of Anderson-like ontological proofs
- Partly free semantics for some Anderson-like ontological proofs
- Title not available (Why is that?)
- Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
- The proofs of the existence of God by Thomas Aquinas: a full logical survey
- Contingent modal semantics for some variants of Anderson-like ontological proofs
- Gödel's ontological proof and its variants
- Title not available (Why is that?)
- Formal reconstructions of St. Anselm's ontological argument
Uses Software
This page was built for publication: Variants of Gödel's ontological proof in a natural deduction calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363503)
