Similar Items: Canonical Models and the Complexity of Modal Team Logic
- Complexity results for modal logic with recursion via translations and tableaux
- The monadic second-order logic of graphs XVI : Canonical graph decompositions
- Modal Logics of Topological Relations
- Modal meet-implication logic
- Canonicity and homotopy canonicity for cubical type theory
- Disjunctive bases: normal forms and model theory for modal logics