Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1910.08955
Cited By
v1
v2 (latest)
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Bulletin of the Section of Logic (BSL), 2019
20 October 2019
Christoph Benzmüller
D. Fuenmayor
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument"
2 / 2 papers shown
Title
A Simplified Variant of Gödel's Ontological Argument
Christoph Benzmüller
50
1
0
13 Feb 2022
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
Christoph Benzmüller
179
6
0
14 Jan 2020
1
