The goldblatt-thomason theorem for coalgebras

Authors:
Alexander Kurz;Jiří Rosicky
Affiliations:
University of Leicester, UK;Masaryk University, Brno, Czech Republic
Venue:
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Year:
2007

Citing 7
Cited 5

Modal logic

Modal logic
A modal proof theory for final polynomial coalgebras

Theoretical Computer Science
A Coalgebraic Perspective on Monotone Modal Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic Semantics for Coalgebraic Logics

Electronic Notes in Theoretical Computer Science (ENTCS)
Presenting functors by operations and equations

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Duality for logics of transition systems

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Ultrafilter extensions for coalgebras

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

Electronic Notes in Theoretical Computer Science (ENTCS)
Equational Coalgebraic Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Free Heyting algebras: revisited

CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Structural Operational Semantics and Modal Logic, Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)
Presenting functors on many-sorted varieties and applications

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Goldblatt and Thomason's theorem on modally definable classes of Kripke frames and Venema's theorem on modally definable classes of Kripke models are generalised to coalgebras.