Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Q5126209)
From MaRDI portal
scientific article; zbMATH DE number 7261571
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument |
scientific article; zbMATH DE number 7261571 |
Statements
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (English)
0 references
15 October 2020
0 references
computational metaphysics
0 references
ontological argument
0 references
higher-order modal logic
0 references
higher-order logic
0 references
automated reasoning
0 references
modal ultrafilters
0 references
0 references
0 references
