Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
The Goldblatt-Thomason Theorem for Coalgebras

The Goldblatt-Thomason Theorem for Coalgebras

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 4624/2007
BookAlgebra and Coalgebra in Computer Science
DOI10.1007/978-3-540-73859-6
Copyright2007
ISBN978-3-540-73857-2
DOI10.1007/978-3-540-73859-6_23
Pages342-355
Subject CollectionComputer Science
SpringerLink DateWednesday, August 22, 2007
Add to marked items

The Goldblatt-Thomason Theorem for Coalgebras

Alexander Kurz1 and Jiří Rosický2

(1)  University of Leicester, UK
(2)  Masaryk University, Brno, Czech Republic
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.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.113 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)