The Goldblatt-Thomason Theorem for Coalgebras
From MaRDI portal
Publication:3612499
DOI10.1007/978-3-540-73859-6_23zbMATH Open1214.03017OpenAlexW1592261745MaRDI QIDQ3612499FDOQ3612499
Authors: Jiří Rosický, Alexander Kurz
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://www.cs.le.ac.uk/people/akurz/Papers/CALCO-07/GTthm.pdf
Cited In (12)
- Modal languages for topology: expressivity and definability
- Equational coalgebraic logic
- Structural operational semantics and modal logic, revisited
- Modalities in the Stone age: a comparison of coalgebraic logics
- Some characterization and preservation theorems in modal logic
- Presenting functors on many-sorted varieties and applications
- Correspondence, canonicity, and model theory for monotonic modal logics
- Coalgebraic semantics of modal logics: an overview
- Free Heyting algebras: revisited
- First-order modal logic: frame definability and a Lindström theorem
- Monotone subintuitionistic logic: duality and transfer results
- Functorial coalgebraic logic: the case of many-sorted varieties
This page was built for publication: The Goldblatt-Thomason Theorem for Coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612499)