The following pages link to (Q4394917):
Displaying 10 items.
- Modal translations in substructural logics (Q1198409) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Tools and techniques in modal logic (Q1297057) (← links)
- Syntactic forcing models for coherent logic (Q1788327) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Structuralist modals and the combination of logics (Q3119164) (← links)
- (Q3990459) (← links)
- Model-Theoretic Logics (Q4570949) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
