The Goldblatt-Thomason Theorem for Coalgebras
From MaRDI portal
Publication:3612499
DOI10.1007/978-3-540-73859-6_23zbMath1214.03017OpenAlexW1592261745MaRDI QIDQ3612499
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
Related Items (12)
Free Heyting Algebras: Revisited ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Presenting functors on many-sorted varieties and applications ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Some characterization and preservation theorems in modal logic ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Equational Coalgebraic Logic ⋮ Modal languages for topology: expressivity and definability ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
This page was built for publication: The Goldblatt-Thomason Theorem for Coalgebras
