×

zbMATH — the first resource for mathematics

The Goldblatt-Thomason theorem for coalgebras. (English) Zbl 1214.03017
Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 342-355 (2007).
Summary: 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.
For the entire collection see [Zbl 1123.68007].

MSC:
03B45 Modal logic (including the logic of norms)
03G30 Categorical logic, topoi
PDF BibTeX XML Cite
Full Text: DOI