Modal predicates and coequations

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 1, 2002, Pages 156-175

  Kurz, Alexander ^a   Rosický, Jiří ^b  

^a CWI   (Netherlands)

^b MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONFORMAL MAPPING; FORMAL LOGIC; FUNCTIONS; MODAL ANALYSIS; SET THEORY; THEOREM PROVING;

CO-BIRKHOFF THEOREM; COALGEBRA; COEQUATIONS; MODAL LOGIC;

ALGEBRA;

EID: 4944238554     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80364-5     Document Type: Conference Paper

References (26)

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. J. Adámek and H. Porst. From varieties of algebras to covarieties of coalgebras. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science (CMCS'01), volume 44.1 of ENTCS. Elsevier, 2001.
3. J. Adámek and J. Rosický. Locally Presentable and Accessible Categories, volume 189 of London Mathematical Society Lecture Notes Series. Cambridge University Press, 1994
4. Adámek J., Trnková V. Automata and Algebras in Categories. 1990;Kluwer Academic Publishers
5. A. Baltag, L. Moss, and S. Solecki. The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, CWI, Amsterdam, November 1999.
6. Blackburn P., de Rijke M., Venema Y. Modal Logic. 2001;Cambridge University Press. See also http://www.mlbook.org.
7. Robert Davis. Quasi-cotripleable categories. Proceedings of the American Mathematical Society, 35:43-38, 1972.
8. Peter Gumm H. Equational and implicational classes of colgebras. Theoretical Computer Science. 260:2001
9. Peter Gumm H. Functors for coalgebras. Algebra Universalis. 45:2001;135-147
10. Jesse Hughes. A Study of Categories of Algebras and Coalgebras. PhD thesis, Carnegie Mellon University, Pittsburgh, 2001. Available at http://www.cs.kun.nl/~jesseh/.
11. Jacobs B., Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. 62:1997
12. Alexander Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universität München, 2000. http://www.informatik.uni-muenchen.de/~kurz.
13. Alexander Kurz. Coalgebras and Modal Logic. 2001. Course Notes for ESSLLI 2001. http://www.cwi.nl/~kurz.
14. F.E.J. Linton. Some aspects of equational categories. In S. Eilenberg, D.K. Harrison, S. Mac Lane, and H. Röhrl, editors, Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, pages 84-91. Springer, 1966.
15. F.E.J. Linton. An outline of functorial semantics. In B. Eckmann, editor, Seminar on triples and categorical homology theory, volume 80 of Lecture Notes in Mathematics, pages 7-52. Springer, 1969.
16. Mac Lane Saunders. Category Theory for the Working Mathematician. 1971;Springer
17. Ernest Manes G. Algebraic Theories. 1976;Springer
18. 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. Also available as technical report at http://www.informatik.uni-muenchen.de/ ~pattinso/.
19. Dirk Pattinson. Coalgebraic modal logic: Soundness, completeness and decidability. Technical report, LMU Mnchen, 2002. http://www.informatik.uni- muenchen.de/~pattinso/.
20. Reiterman Jan. The Birkhoff theorem for finite algebras. Algebra Universalis. 14:1982;1-10
21. Reiterman Jan. Algebraic theories and varieties of functor algebras. Fundamenta Mathematicae. 118:1983;59-68
22. Roşu Grigore. Equational axiomatizability for coalgebra. Theoretical Computer Science. 260:2001;229-247
23. Jiří Rosický. On algebraic categories. In Universal Algebra (Proc. Coll. Esztergom 1977), volume 29 of Colloq. Math. Soc. J. Bolyai, pages 662-690, 1981
24. J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3-80, 2000.
25. First appeared as technical report CS R 9652, CWI, Amsterdam, 1996.
26. Venema Yde. A crash course in arrow logic. Marx M., Pólos L., Masuch M. Arrow Logic and Multi-Modal Logic. Studies in Logic, Language and Information :1996;3-34 CSLI publications, Stanford