Stone coalgebras

Stone coalgebras (2003)

Cached

Download Links

[www.cs.le.ac.uk]

Other Repositories/Bibliography

DBLP

by Clemens Kupke , Alexander Kurz , Yde Venema

Venue:	ILLC, University of Amsterdam
Citations:	6 - 1 self

BibTeX

@INPROCEEDINGS{Kupke03stonecoalgebras,
    author = {Clemens Kupke and Alexander Kurz and Yde Venema},
    title = {Stone coalgebras},
    booktitle = {ILLC, University of Amsterdam},
    year = {2003},
    pages = {394--406},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

Citations

402	Domain Theory, in - Abramsky, Jung - 1994
353	Modal Logic - Blackburn, Rijke, et al. - 2001
279	Universal coalgebra: a theory of systems - Rutten - 2000
214	Domain theory in logical form - Abramsky - 1991
191	General Topology - Engelking - 1989
115	A domain equation for bisimulation - Abramsky - 1991
93	Topology via Logic - Vickers - 1989
85	The Logic of - Baltag, Moss, et al. - 1998
55	Logics for Coalgebras and Applications to Computer Science - Kurz - 2001
51	Many-sorted coalgebraic modal logic: a model-theoretic study - Jacobs - 2001
50	Metamathematics of Modal Logic - Goldblatt - 1974
41	Control Flow Semantics - Bakker, Vink - 1996
37	Topologies on spaces of subsets - Michael - 1951
33	A hierarchy of probabilistic system types. Theoretical Computer Science, 327:3–22, 2004. sets. 3 In topology, a Gδ set is a countable intersection of open sets and a Fσ set in a countable union of closed - Bartels, Sokolova, et al.
32	Coalgebras and modal logic - Rößiger
29	On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces - Turi, Rutten - 1998
28	A logic for coalgebraic simulation - Baltag - 2000
27	Semantical principles in the modal logic of coalgebras - Pattinson
25	A calculus of transition systems (towards universal co-algebra - Rutten - 1995
23	A Co-Variety-Theorem for Modal Logic - Kurz - 1998
20	Topology and duality in modal logic - Sambin, Vaccaro - 1988
20	Terminal sequences for accessible endofunctors - Worrell
18	A cook’s tour of the finitary non-well-founded sets - Abramsky - 2005
16	Topological Kripke models - Esakia
14	Category theory for the working mathematician - Lane
13	Coalgebraic modal logic of finite rank - Kurz, Pattinson - 2005
7	A calculus of terms for coalgebras of polynomial functors - Goldblatt - 2001
7	Coalgebraic semantics for positive modal logic - Palmigiano
5	The Order Structure of Stone Spaces and the TD-Separation Axiom - Gehrke - 1991
4	Partializing Stone Spaces Using SFP Domains (extended abstract - Alessi, Baldan, et al. - 1997
4	On specification logics for algebra-coalgebra structures: Reconciling reachability and observability - Cîrstea - 2002
4	A coalgebraic view of Heyting duality - Davey, Galati
4	Modal predicates and coequations - Kurz, Rosick´y - 2002