The Goldblatt-Thomason Theorem for Coalgebras

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

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)