Modal logics for observation equivalences

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 1, 2003, Pages 303-320

  Rothe, Jan ^a   Mašulović, Dragan ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF NOVI SAD   (Serbia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FUNCTIONS; POLYNOMIALS; SEMANTICS; SET THEORY; THEOREM PROVING;

BISIMULATION; COALGEBRAS; FUNCTORS; MODAL LOGICS;

FORMAL LOGIC;

EID: 18944387469     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80646-7     Document Type: Conference Paper

References (21)

1. C. Cǐrstea. Institutionalising many-sorted coalgebraic modal logic. In L. Moss, editor, Proceedings of CMCS 2002, number 65.1 in ENTCS, 2002.
2. Carboni A., Kelly M., Wood R.J. A 2-categorical approach to change of base and geometric morphisms I. Cahiers de Topologie et Géométrie Différentielle Catégoriques. 32:(1):1991;47-95
3. Gumm P., Schröder T. Coalgebras of bounded type. Mathematical Structures in Computer Science. 12:(5):October 2002;565-578
4. th ICALP, Noordwijkerhout, volume 85 of Lecture Notes in Computer Science, pages 299-309. Springer-Verlag, 1980.
5. Hennessy M., Milner R. Algebraic laws for nondeterminism and concurrency. Journal of the ACM. 32:(1):January 1985;137-161
6. Jacobs B. Many-sorted coalgebraic modal logic: a model-theoretic study. Theoret. Informatics and Applications. 35:(1):2001;31-59
7. A. Kurz. Specifying coalgebras with modal logic. In H. Reichel B. Jacobs, L. Moss and J. Rutten, editors, Proceedings of CMCS, volume 11 of ENTCS, 1998.
8. D. Mašulović. Towards coalgebraic behaviourism. In L. Moss, editor, Proceedings of CMCS, number 65.1 in ENTCS, 2002.
9. Moss L. Coalgebraic logic. Annals of Pure and Applied Logic. 96:1999;277-317
10. D. Pattinson. Semantical principles in the modal logic of coalgebras. In A. Ferreira and H. Reichel, editors, Proceedings of STACS, volume 2010 of LNCS. Springer, 2001.
11. Reichel H. An approach to object semantics based on terminal coalgebras. Mathematical Structures in Computer Science. 5:1995;129-152
12. J. Rothe and D. Mašulović. A theory of observation equivalences for coalgebras. In preparation. Preliminary version available on request.
13. J. Rothe and D. Mašulović. Towards weak bisimulation for coalgebras. In A. Kurz, editor, Proceedings of CMCIM'2002, number 68.1 in ENTCS, 2002.
14. J. Rothe and D. Mašulović. Towards weak bisimulation for coalgebras. Technical report, Technische Universität Dresden, September 2002. Extended Version of the CMCIM'2002 Paper.
15. M. Rößiger. Coalgebras and modal logic. In H. Reichel, editor, Proceedings of CMCS 2000, volume 33 of ENTCS, 2000.
16. M. Rößiger. Coalgebras, Clone Theory and Modal Logic. PhD thesis, Univ. of Dresden, Germany, 2000.
17. J. Rothe. A syntactical approach to weak bisimulation for coalgebras. In L. Moss, editor, Proceedings of CMCS, number 65.1 in ENTCS, 2002.
18. J. Rutten. Relators and metric bisimulations (extended abstract). In Proceedings of CMCS'98, number 11 in ENTCS, 1998.
19. Rutten J. Universal coalgebra: a theory of systems. Theoretical Computer Science. 249:(1):2000;3-80
20. Stirling C. Modal and Temporal Properties of Processes. Texts in Computer Science. 2001;Springer
21. H. Tews. Coalgebraic Specification and Verification. PhD thesis, Dresden University of Technology, 2002.