Stone coalgebras

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 1, 2003, Pages 170-190

  Kupke, Clemens ^a,b   Kurz, Alexander ^c   Venema, Yde ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Coalgebra; Descriptive general frames; Kripke polynomial functors; Modal logic; Stone spaces; Vietoris topology

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; MATHEMATICAL MODELS; POLYNOMIALS; SEMANTICS; THEOREM PROVING;

COALGEBRA; DESCRIPTIVE GENERAL FRAMES; KRIPKE POLYNOMIAL FUNCTORS; MODAL LOGIC; STONE SPACES; VIETORIS TOPOLOGY;

ALGEBRA;

EID: 17444421446     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80638-8     Document Type: Conference Paper

References (29)

1. Abramsky S. Domain theory in logical form. Annals of Pure and Applied Logic. 51:1991;1-77
2. J. Adámek and H. Porst. On varieties and covarieties in a category. Mathematical Structures in Computer Science. To appear.
3. Alessi F., Baldan P., Honsell F. Partializing Stone Spaces using SFP Domains (extended abstract). Bidoit M., et al. CAAP '97 volume 1158 of LNCS. 1997;478-489 Springer, Berlin
4. S. Awodey and J. Hughes. Modal operators and the formal dual of Birkhoff's completeness theorem. Mathematical Structures in Computer Science. To appear.
5. Alexandru Baltag. A logic for coalgebraic simulation. In Horst Reichel, editor, Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science, pages 41-60, 2000.
6. Blackburn P., de Rijke M., Venema Y. Modal Logic. 2001;Cambridge University Press
7. Corina Cirstea. On specification logics for algebra-coalgebra structures: Reconciling reachability and observability. In Mogens Nielsen, editor, Proceedings of FoSSaCS 2002, volume 2303 of LNCS, pages 82-97. Springer, 2002.
8. de Bakker J., de Vink E. Control Flow Semantics. 1996;MIT Press
9. Engelking Ryszard. General Topology. 1989;Heldermann Verlag
10. Esakia L.L. Topological Kripke models. Soviet Mathematics Doklady. 15:1974;147-151
11. d-separation axiom. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 37:1991;5-15
12. R.I. Goldblatt. Metamathematics of modal logic I. Reports on Mathematical Logic, 6:41-78, 1976.
13. Goldblatt Robert. A calculus of terms for coalgebras of polynomial functors. Corradini A., Lenisa M., Montanari U. Coalgebraic Methods in Computer Science (CMCS'01) volume 44.1 of ENTCS. 2001;Elsevier
14. Jesse Hughes. A Study of Categories of Algebras and Coalgebras. PhD thesis, Carnegie Mellon University, Pittsburgh, 2001.
15. Jacobs Bart. Many-sorted coalgebraic modal logic: a model-theoretic study. Theoretical Informatics and Applications. 35:(1):2001;31-59
16. Johnstone Peter. Stone Spaces. 1982;Cambridge University Press
17. A. Kurz and D. Pattinson. Coalgebraic modal logic of finite rank. Technical Report SEN-R0222, CWI, Amsterdam, 2002.
18. A. Kurz and D. Pattinson. Definability, canonical models, compactness for finitary coalgebraic modal logic. In Lawrence Moss, editor, Proceedings of CMCS 2002, volume 65.1 of ENTCS. Elsevier, 2002.
19. A. Kurz and J. Rosický. Modal predicates and coequations. In Lawrence Moss, editor, Proceedings of CMCS 2002, volume 65.1 of ENTCS. Elsevier, 2002.
20. Alexander Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universität München, 2000.
21. Kurz Alexander. A co-variety-theorem for modal logic. Zakharyaschev M., Segerberg K., de Rijke M., Wansing H. Advances in Modal Logic 2. Center for the Study of Language and Information, Stanford University. 2001
22. Moss Lawrence. Coalgebraic logic. Annals of Pure and Applied Logic. 96:1999;277-317
23. Palmigiano Alessandra. Coalgebraic semantics for positive modal logic. Gumm Hans-Peter. Coalgebraic Methods in Computer Science (CMCS'03) volume 82.1 of ENTCS. 2003
24. Dirk Pattinson. Semantical principles in the modal logic of coalgebras. In Proceedings 18th International Symposium on Theoretical Aspects of Computer Science (STACS 2001), volume 2010 of LNCS, Berlin, 2001. Springer.
25. Rößiger Martin. Coalgebras and modal logic. Reichel Horst. Coalgebraic Methods in Computer Science (CMCS'00) volume 33 of ENTCS. 2000;299-320
26. Rutten J.J.M.M. Universal coalgebra: A theory of systems. Theoretical Computer Science. 249:2000;3-80
27. Sambin G., Vaccaro V. Topology and duality in modal logic. Annals of Pure and Applied Logic. 37:1988;249-296
28. Smyth Michael. Topology. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science, volume 1. 1993;Oxford University Press
29. James Worrell. On the final sequence of an accessible set functor. Theoretical Computer Science. To appear.