The following pages link to Types, tableaus, and Gödel's God (Q1406610):
Displaying 25 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- First-order intensional logic (Q598308) (← links)
- Associative substitutional semantics and quantified modal logic (Q965898) (← links)
- Ontological proofs of existence and non-existence (Q1005959) (← links)
- Some weakened Gödelian ontological systems (Q1425192) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← 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)
- Higher-Order Syntax and Saturation Algorithms for Hybrid Logic (Q2867945) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- (Q4989394) (← 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)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- SAT-Inspired Higher-Order Eliminations (Q6135757) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
