Towards a duality result in coalgebraic modal logic

Electronic Notes in Theoretical Computer Science

Volumn 33, Issue , 2000, Pages 160-195

  Jacobs, Bart ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; OBJECT ORIENTED PROGRAMMING; POLYNOMIALS; SET THEORY; STATE SPACE METHODS; THEOREM PROVING; TOPOLOGY;

BOOLEAN ALGEBRA WITH OPERATORS (BAO); COALGEBRA; FUNCTORS; MODAL LOGIC;

FORMAL LOGIC;

EID: 18944398063     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80348-2     Document Type: Conference Paper

References (27)

1. Barr M., Wells Ch. Category Theory for Computing Science. 1990;Prentice Hall
2. P. Blackburn, M. de Rijke, and Y. Venema. Modal logic. Forthcoming book.
3. Borceux F. Handbook of Categorical Algebra. volume 50, 51 and 52 of Encyclopedia of Mathematics. 1994;Cambridge Univ. Press
4. Clark D.M., Davey B. Natural Dualities for the Working Algebraist. 1998;Cambridge Studies in Advanced Mathematics. Cambridge Univ. Press
5. Davey B.A., Priestley H.A. Introduction to Lattices and Order. 1990;Math. Textbooks. Cambridge Univ. Press
6. Goldblatt R. Mathematics of Modality. CSLI Lecture Notes. 43:1993;. Stanford
7. Goldblatt R. What is the coalgebraic analogue of Birkhoff's variety theorem? Manuscript. 1999
8. Goldblatt R. Duality for some categories of coalgebras. Manuscript. 2000
9. Hensel U., Huisman M., Jacobs B., Tews H. Reasoning about classes in object-oriented languages: Logical models and tools. Hankin Ch. European Symposium on Programming, number 1381 in Lect. Notes Comp. Sci. 1998;105-121 Springer, Berlin
10. Hermida C., Jacobs B. Structural induction and coinduction in a fibrational setting. Inf. & Comp. 145:1998;107-152
11. Jacobs B. Objects and classes, co-algebraically. Freitag B., Jones C.B., Lengauer C., Schek H.-J. Object-Orientation with Parallelism and Persistence. 1996;83-103 Kluwer Acad. Publ
12. Jacobs B. The temporal logic of coalgebras via Galois algebras. Techn. Rep. CSI-R9906, Comput. Sci. Inst., Univ. of Nijmegen. 1999
13. B. Jacobs. Exercises in coalgebraic specification. To appear in the proceedings of the Mathematics for Information Technology Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000.
14. Jacobs B., Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. 62:1997;222-259
15. Johnstone P.T. Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics. 1982;Cambridge Univ. Press
16. Jónsson B., Tarski A. Boolean algebras with operators I. Amer. Journ. Math. 73:1951;891-939
17. von Karger B. Temporal algebra. Math. Struct, in Comp. Sci. 8:1998;277-320
18. Kurz A. Specifying coalgebras with modal logic. Theor. Comp. Sci. 2000;. To appear
19. Mac Lane S. Categories for the Working Mathematician. 1971;Springer, Berlin
20. Lemmon E.J. Algebraic semantics for modal logics II. Journ. Symb. logic. 31:1966;191-218
21. Moss L.S. Coalgebraic logic. Ann. Pure & Appl. logic. 2000;. To appear
22. Reichel H. An approach to object semantics based on terminal co-algebras. Math. Struct, in Comp. Sci. 5:1995;129-152
23. M. Rößger. Coalgebras and modal logic. This Volume.
24. Rößger M. From modal logic to terminal coalgebras. Theor. Comp. Sci. 2000;. To appear
25. Rutten J. Universal coalgebra: a theory of systems. Theor. Comp. Sci. 1999;. To appear
26. Vickers S. Topology Via Logic. Number 5 in Tracts in Theor. Comp. Sci. 1989;Cambridge Univ. Press
27. Walters R.F.C. Categories and Computer Science. 1992;Carslaw Publications, Sydney. 1991. Also available as: Cambridge Computer Science Text 28