Title

The Goldblatt-Thomason Theorem for Coalgebras

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

Copyright

Springer

Share

COinS