The following pages link to (Q4893141):
Displaying 16 items.
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- Addendum to ``Sloman's view of Gödel's sentence'' (Q1128496) (← links)
- Some weakened Gödelian ontological systems (Q1425192) (← links)
- A new small emendation of Gödel's ontological proof (Q1612687) (← links)
- Positive qualities and the ontological argument (Q1851396) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- Semantic analysis of some variants of Anderson-like ontological proofs (Q2574885) (← links)
- Response to Gettings (Q2701955) (← links)
- Gödel's ontological argument: a reply to Oppy (Q2715799) (← links)
- Gödel's ontological proof and its variants (Q2856497) (← links)
- On ``seeing'' the truth of the Gödel sentence (Q2926451) (← links)
- (Q2947773) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- (Q3480010) (← links)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)
- Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Q5126209) (← links)