The following pages link to Completeness in hybrid type theory (Q484101):
Displaying 10 items.
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- (Q3086771) (← links)
- (Q3199405) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- (Q4206095) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- Completeness: from Gödel to Henkin (Q4983362) (← links)
- Quantifiers and conceptual existence (Q6601782) (← links)
