Formalization, Mechanization and Automation of Gödel's Proof of God's
Existence

v1v2v3v4v5 (latest)

Formalization, Mechanization and Automation of Gödel's Proof of God's Existence

European Conference on Artificial Intelligence (ECAI), 2013

21 August 2013

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "Formalization, Mechanization and Automation of Gödel's Proof of God's Existence"

12 / 12 papers shown

Title
TPTP World Infrastructure for Non-classical Logics A. Steen G. Sutcliffe 12 1 0 12 Aug 2025
A Simplified Variant of Gödel's Ontological Argument Christoph Benzmüller 42 1 0 13 Feb 2022
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof C. Wernhard 41 0 0 21 Oct 2021
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological ArgumentInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2020 Christoph Benzmüller 175 6 0 14 Jan 2020
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological ArgumentBulletin of the Section of Logic (BSL), 2019 Christoph Benzmüller D. Fuenmayor 57 5 0 20 Oct 2019
Computer Science and Metaphysics: A Cross-FertilizationOpen Philosophy (OP), 2019 Daniel Kirchner Christoph Benzmüller E. Zalta AI4CE 74 21 0 01 May 2019
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support Christoph Benzmüller X. Parent Leendert van der Torre AILaw 229 5 0 25 Mar 2019
$Learning $\textit{Ex Nihilo}$$ Learning $\textit{Ex Nihilo}$ Global Conference on Artificial Intelligence (GAI), 2019 S. Bringsjord Naveen Sundar Govindarajulu NAI LRM AI4CE 58 7 0 04 Mar 2019
Governing Governance: A Formal Framework for Analysing Institutional Design and Enactment Governance T. C. King AILaw 39 39 0 21 Apr 2017
Universal Reasoning, Rational Argumentation and Human-Machine Interaction Christoph Benzmüller LRM AI4CE 41 9 0 28 Mar 2017
An Expressive Probabilistic Temporal Logic B. W. Paleo 22 4 0 24 Mar 2016
Systematic Verification of the Modal Logic Cube in Isabelle/HOL Christoph Benzmüller Maximilian Claus Nikolai Sultana 38 15 0 31 Jul 2015