Pages that link to "Item:Q2363503"
From MaRDI portal
The following pages link to Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503):
Displaying 8 items.
- Formal reconstructions of St. Anselm's ontological argument (Q514608) (← links)
- Positive qualities and the ontological argument (Q1851396) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← links)
- Semantic analysis of some variants of Anderson-like ontological proofs (Q2574885) (← links)
- Gödel's ontological proof and its variants (Q2856497) (← links)
- Contingent modal semantics for some variants of Anderson-like ontological proofs (Q3647265) (← links)
- (Q4893141) (← links)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)