The following pages link to Modal logic and model theory (Q1080411):
Displaying 16 items.
- On modal logics of model-theoretic relations (Q831223) (← links)
- Tools and techniques in modal logic (Q1297057) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- (Q3520836) (← links)
- Modal Operators over Constructive Logic (Q3549311) (← links)
- (Q3703880) (← links)
- (Q3990459) (← links)
- (Q4250037) (← links)
- Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
- (Q4544187) (← links)
- Model-Theoretic Logics (Q4570949) (← links)
- (Q4856954) (← links)
- Proofs and Models in Philosophical Logic (Q5021146) (← links)
- (Q5240594) (← links)
- The Invariance Modality (Q5886459) (← links)