Pages that link to "Item:Q5458351"
From MaRDI portal
The following pages link to Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (Q5458351):
Displayed 7 items.
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)