The following pages link to Types, tableaus, and Gödel's God (Q1406610):
Displayed 5 items.
- First-order intensional logic (Q598308) (← links)
- Ontological proofs of existence and non-existence (Q1005959) (← links)
- Some weakened Gödelian ontological systems (Q1425192) (← links)
- Semantic analysis of some variants of Anderson-like ontological proofs (Q2574885) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)