The Goldblatt-Thomason Theorem for Coalgebras

13 years 10 months ago

Download www.cs.le.ac.uk

Goldblatt and Thomason’s theorem on modally deﬁnable classes of Kripke frames and Venema’s theorem on modally deﬁnable classes of Kripke models are generalised to coalgebras.

Alexander Kurz, Jirí Rosický

Real-time Traffic

CALCO 2007 | Deﬁnable Classes | Kripke Frames |

claim paper

» Final coalgebras and the HennessyMilner property

» Some CoBirkhoff Type Theorems

» Modal Predicates and Coequations

» Some Properties and Some Problems on Set Functors

» Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors

» A Concrete Final Coalgebra Theorem for ZF Set Theory

» Induction Coinduction and Adjoints

» A Sound and Complete Calculus for Finite Stream Circuits

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CALCO
Authors	Alexander Kurz, Jirí Rosický

Comments (0)

Sciweavers

The Goldblatt-Thomason Theorem for Coalgebras

CALCO 2007 | Deﬁnable Classes | Kripke Frames |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers