Coalgebraic semantics for positive modal logic

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 1, 2003, Pages 221-236

  Palmigiano, Alessandra ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Positive modal algebra; Positive Modal Logic; Priestley space; Vietoris functor

Indexed keywords

ALGEBRA; COMPUTER SCIENCE; FORMAL LOGIC; MATHEMATICAL OPERATORS; THEOREM PROVING;

POSITIVE MODAL ALGEBRA; POSITIVE MODAL LOGIC; PRIESTLY SPACE; VIETORIS FUNCTOR;

SEMANTICS;

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

References (18)

1. Abramsky S.Domain. Theory in Logical Form. Annals of Pure and Applied Logic. Vol. 51:(1-2):1991;1-77
2. Barr M., Wells C. Category Theory for Computing Science. 1990;Prentice Hall International (UK) Ltd
3. Brink C., Rewitzky I. A Paradigm for Program Semantics. 2001;CSLI Publications
4. Celani S., Jansana R. Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic. L. J. of the IGPL. Vol. 7:(No 6):1999;686-715
5. Chagrov A., Zakharyaschev M. Modal Logic. 1997;Oxford University Press
6. Davey B.A., Priestley H.A. Introduction to Lattices and Order. 1990;Cambridge University Press, Cambridge
7. Dunn M. Positive Modal Logic. Studia Logica. Vol. 55:1995;301-317
8. Engelking R. "General Topology" 1977;PWN - Polish Scientific Publishers, Warsawa
9. Èsakia L.L. Topological Kripke models. Soviet Mathematik Doklade. Vol. 15:(No 1):1974;147-151
10. Font J.M., Jansana R. A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic :1996;Springer
11. Goldblatt R.I. Varieties of Complex Algebras. Annals of Pure and Applied Logic. Vol. 44:1989;173-242
12. Jacobs B.P.F. Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. Theoret. Informatics and Applications. Vol. 35:(No 1):2001;31-59
13. Jansana R. Full Models for Positive Modal Logic. Math. Log. Quart. Vol. 48:(No. 3):2002;427-445
14. Johnstone P.T. "Stone Spaces" 1982;Cambridge University Press, Cambridge
15. Kupke C. General Frames as Coalgebras, to appear as CWI Technical Report, 2002.
16. Kupke C. - Kurz A. - Venema Y. Stone Coalgebras, Proceedings of CMCS'03, 2003.
17. Palmigiano A. A New Coalgebraic Semantics for Positive Modal Logic, to appear as CWI Technical Report SEN-R0226, 2002.
18. Smyth M.B. Totally Bounded Spaces and Compact Ordered Spaces as Domains of Computation. Reed G.M., Roscoe A.W., Wachter R.F. Topology and Category Theory in Computer Science. 1991;207-229 Oxford University Press