The Goldblatt-Thomason Theorem for Coalgebras
From MaRDI portal
Publication:3612499
DOI10.1007/978-3-540-73859-6_23zbMath1214.03017MaRDI 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
Modalities in the Stone age: a comparison of coalgebraic logics, Presenting functors on many-sorted varieties and applications, Coalgebraic semantics of modal logics: an overview, Some characterization and preservation theorems in modal logic, Modal languages for topology: expressivity and definability, Functorial Coalgebraic Logic: The Case of Many-sorted Varieties, Free Heyting Algebras: Revisited, Structural Operational Semantics and Modal Logic, Revisited