A coalgebraic view on positive modal logic

Theoretical Computer Science

Volumn 327, Issue 1-2, 2004, Pages 175-195

  Palmigiano, Alessandra ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Positive modal algebra; Positive modal logic; Priestley space; Vietoris functor

Indexed keywords

BOOLEAN ALGEBRA; FORMAL LANGUAGES; MATHEMATICAL MODELS; MODAL ANALYSIS; SEMANTICS;

POSITIVE MODAL ALGEBRA; POSITIVE MODAL LOGIC; PRIESTLEY SPACE; VIETORIS FUNCTORS;

FORMAL LOGIC;

EID: 4944257481     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.07.026     Document Type: Conference Paper

References (28)

1. S. Abramsky, Domain theory in logical form, Ann. Pure Appl. Logic 51 (1-2) (1991) 1-77.
2. M. Barr, C. Wells, Category Theory for Computing Science, Prentice-Hall International (UK) Ltd, 1990.
3. C. Brink, I. Rewitzky, A Paradigm for Program Semantics, CSLI Publications, 2001.
4. S. Celani, R. Jansana, Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic, L. J. IGPL 7 (6) (1999) 683-715.
5. A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford University Press, Oxford, 1997.
6. D.M. Clark, B.A. Davey, Natural Dualities for the Working Algebraist, Cambridge University Press, Cambridge, 1998.
7. B.A. Davey, J.C. Galati, A coalgebraic view of Heyting duality, Studia Logica, to appear.
8. B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 1990.
9. M. Dunn, Positive modal logic, Studia Logica 55 (1995) 301-317.
10. R. Engelking, General Topology, PWN-Polish Scientific Publishers, Warsawa, 1977.
11. L.L. Esakia, Topological Kripke models, Soviet Math. Dokl. 15 (1) (1974) 147-151.
12. J.M. Font, R. Jansana, A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Springer, Berlin, 1996.
13. R.I. Goldblatt, Varieties of Complex Algebras, Ann. Pure Appl. Logic 44 ( 1989) 173-242.
14. H.P. Gumm, Functors for coalgebras, Algebra Universalis 45 (2001) 135-147.
15. B.P.F. Jacobs. Many-sorted coalgebraic modal logic: a model-theoretic study, Theoret. Inform. Appl. 35 (1) (2001) 31-59.
16. R. Jansana, Full models for positive modal logic, Math. Log. Quart. 48 (3) (2002) 427-445.
17. P.T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.
18. C. Kupke, A. Kurz, Y. Venema, Stone Coalgebras, Proceedings of CMCS'03, 2003.
19. A. Kurz, Logics for Coalgebras and Applications to Computer Science. Doctoral Thesis, 2000.
20. A. Kurz coalgebras and modal logic. Course Notes for ESSLLI 2001. Appeared on the CD-Rom ESSLLI'01, Department of Philosophy, University of Helsinki, Finland.
21. A. Kurz, D. Pattinson, Coalgebraic Modal Logic of Finite Rank, Math. Struct. Comput. Sci., forthcoming.
22. L. Moss, Coalgebraic logic, Ann. Pure Appl. Logic 96 (1999) 277-317.
23. A. Palmigiano, Abstract logics as dialgebras, Proceedings of CMCS'02, ENTCS, Vol. 65, Elsevier, Amsterdam, 2002.
24. A. Palmigiano, A New Coalgebraic Semantics for Positive Modal Logic, CWI Technical Report SEN-R0226, 2002.
25. A. Palmigiano, Vietoris endofunctors on ordered stone spaces, in preparation.
26. M. Rößiger, Coalgebras Modal Logic, in: H. Reichel (Ed.), Electronic Notes in Theoretical Computer Science, Vol. 33, Elsevier, Amsterdam, 2000.
27. M.B. Smyth, Totally bounded spaces and compact ordered spaces as domains of computation, in: G.M. Reed, A.W. Roscoe, R.F. Wachter (Eds.), Topology and Category Theory in Computer Science, Oxford University Press, Oxford, 1991, pp. 207-229.
28. F. Wolter, M. Zakharyaschev, Intuitionistic modal logic, in: A. Cantini, E. Casari, P. Minari (Eds.), Logic and Foundations of Mathematics, Kluwer Academic Publishers, Dordrecht, 1999, pp. 227-238.