Pages that link to "Item:Q3612499"
From MaRDI portal
The following pages link to The Goldblatt-Thomason Theorem for Coalgebras (Q3612499):
Displayed 12 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)