The Goldblatt-Thomason Theorem for Coalgebras

Authors

Alexander Kurz, Chapman UniversityFollow
Jiří Rosický, Masaryk University

Document Type

Conference Proceeding

Publication Date

2007

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.

Comments

This paper was originally presented at the Conference on Algebra and Coalgebra in Computer Science (CALCO) in 2007. DOI: 10.1007/978-3-540-73859-6_23

Recommended Citation

Kurz A., Rosický J. (2007) The Goldblatt-Thomason Theorem for Coalgebras. In: Mossakowski T., Montanari U., Haveraaen M. (eds) Algebra and Coalgebra in Computer Science. CALCO 2007. Lecture Notes in Computer Science, vol 4624. Springer, Berlin, Heidelberg

Copyright

Springer