The Goldblatt-Thomason Theorem for Coalgebras

DOI10.1007/978-3-540-73859-6_23MaRDI QIDQ3612499zbMATH OpenOpenAlexFDO

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)