A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument

International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020

14 January 2020

Papers citing "A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument"

2 / 2 papers shown

Title
A Simplified Variant of Gödel's Ontological Argument Christoph Benzmüller 38 1 0 13 Feb 2022
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof C. Wernhard 37 0 0 21 Oct 2021