A coalgebraic perspective on monotone modal logic

Electronic Notes in Theoretical Computer Science

Volumn 107, Issue 1-4 SPEC. ISS., 2004, Pages 121-143

  Hansen, Helle Hvid ^a   Kupke, Clemens ^a,b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

Author keywords

Bisimulation; Coalgebra; Frame; Modal logic

Indexed keywords

BISIMULATION; COALGEBRA; FRAME; MODAL LOGIC;

COMPUTER SIMULATION; FUNCTIONS; INTERPOLATION; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; POLYNOMIALS; SEMANTICS; BOOLEAN ALGEBRA; GAME THEORY; MATHEMATICAL OPERATORS; SET THEORY;

BOOLEAN ALGEBRA; MODAL ANALYSIS;

EID: 17444427759     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.028     Document Type: Conference Paper

References (33)

1. P. Aczel and N. Mendler. A final coalgebra theorem. In D. H. Pitt et al, editor, Category Theory and Computer Science, volume 389 of LNCS, pages 357-365. Springer, 1989.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Compositionality: The Significant Difference, LNCS 1536, pages 23-60. Springer, 1998.
3. J. van Benthem. Modal Correspondence Theory. PhD thesis, University of Amsterdam, 1976.
4. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
5. B. F. Chellas. Modal Logic - An Introduction. Cambridge University Press, 1980.
6. R. Engelking. General Topology. Heldermann Verlag, 1989.
7. M. Gehrke and B. Jónsson. Monotone bounded distributive lattice expansions. Mathematica Japonica, 52(2):197-213, 2000.
8. R. Goldblatt. Metamathematics of modal logic, part I. Reports on Mathematical Logic, 6:41-78, 1976.
9. R. Goldblatt. Metamathematics of modal logic, part II. Reports on Mathematical Logic, 7:21-52, 1976.
10. R. Goldblatt. A calculus of terms for coalgebras of polynomial functors. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science (CMCS'01), volume 44.1 of ENTCS. Elsevier, 2001.
11. H. Peter Gumm. Functors for coalgebras. Algebra Universalis, 45:135-147, 2001.
12. H. H. Hansen. Monotonic modal logic (Master's thesis). Preprint 2003-24, ILLC, University of Amsterdam, 2003.
13. B. Jacobs. Many-sorted coalgebraic modal logic: a model-theoretic study. Theoretical Informatics and Applications, 35(1):31-59, 2001.
14. P. Johnstone. Stone Spaces. Cambridge University Press, 1982.
15. B. Jónsson and A. Tarski. Boolean algebras with operators I. American Journal of Mathematics, 73:891-939, 1951.
16. B. Jónsson and A. Tarski. Boolean algebras with operators II. American Journal of Mathematics, 74:127-162, 1952.
17. C. Kupke, A. Kurz, and Y. Venema. Stone coalgebras. In H. P. Gumm, editor, Coalgebraic Methods in Computer Science (CMCS'03), volume 82.1 of ENTCS, 2003. Also available as Technical Report PP-2003-15, ILLC, University of Amsterdam.
18. A. Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universität München, 2000.
19. 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.
20. S. Mac Lane. Category Theory for the Working Mathematician. Springer, 1971.
21. J. Madarász. Interpolation and amalgamation; pushing the limits. Part I. Studia Logica, 61:311-345, 1998.
22. J. Madarász. Interpolation and amalgamation; pushing the limits. Part II. Studia Logica, 62:1-19, 1999.
23. M. Marx. Algebraic Relativization and Arrow Logic. PhD thesis, University of Amsterdam, 1995.
24. L. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96:277-317, 1999.
25. R. Parikh. The logic of games and its applications. In M. Karpinski and J. van Leeuwen, editors, Topics in the Theory of Computation, Annals of Discrete Mathematics 24. Elsevier, 1985.
26. D. Pattinson. Semantical principles in the modal logic of coalgebras. In Proceedings 18th International Symposium on Theoretical Aspects of Computer Science (STAGS 2001), volume 2010 of LNCS, Berlin, 2001. Springer.
27. D. Pattinson. Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theoretical Computer Science, 309:177-193, 2003.
28. M. Pauly. Bisimulation for general non-normal modal logic. Manuscript, 1999.
29. M. Pauly. Logic for Social Software. PhD thesis, University of Amsterdam, 2001.
30. M. Rößiger. Coalgebras and modal logic. In Horst Reichel, editor, Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science, pages 299-320, 2000.
31. J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-80, 2000.
32. G. Sambin and V. Vaccaro. Topology and duality in modal logic. Annals of Pure and Applied Logic, 37:249-296, 1988.
33. Uwe Woher. On corelations, cokernels, and coequations. In Horst Reichel, editor, Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of ENTCS, 2000.