The Goldblatt-Thomason Theorem for Coalgebras

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.

• Type: Conference
• Year: 2007
• Where: CALCO
• Authors: Alexander Kurz, Jirí Rosický
• Keywords: CALCO 2007, Definable Classes, Kripke Frames