Presenting functors by operations and equations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3921 LNCS, Issue , 2006, Pages 172-186

  Bonsangue, Marcello M ^a   Kurz, Alexander ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LOGIC; SYNTACTICS; THEOREM PROVING;

COALGEBRAS; FUNCTORS; PROOF SYSTEMS;

FUNCTION EVALUATION;

EID: 33745778420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11690634_12     Document Type: Conference Paper

References (32)

1. S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51, 1991.
2. S. Abramsky and A. Jung. Domain theory. In Handbook of Logic in Computer Science. OUP, 1994.
3. J. Adarnek and V. Trnková. Automata and Algebras in Categories. Kluwer, 1990.
4. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. CUP, 2001.
5. M. Bonsangue, B. Jacobs, and J. N. Kok. Duality beyond sober spaces: Topological spaces and observation frames. Theoret. Comput. Sci., 151, 1995.
6. M. Bonsangue and J. Kok. Towards and infinitary logic of domains: Abramsky logic for transition systems. Inform, and Comput., 155, 1995.
7. M. Bonsangue and A. Kurz. Duality for logics of transition systems. In V. Sassone, editor, FoSSaCS'05, volume 3441 of LNCS, 2005.
8. M. Bonsangue, A. Kurz, and I. Rewitzky. Coalgebraic representations of distributive lattices with operators. To appear in Topology and its Applications.
9. C. Cîrstea and D. Pattinson. Modular construction of modal logics. In CONCUR'04, LNCS 3170, 2004.
10. J. M. Dunn. Positive modal logic. Studia Logica, 55(2), 1995.
11. B. Jacobs. Many-sorted coalgebraic modal logic: a model-theoretic study. Theor. Inform. Appl., 35, 2001.
12. P. Johnstone. Stone Spaces. Cambridge University Press, 1982.
13. P. Johnstone. Vietoris locales and localic semilattices. In Continuous Lattices and their Applications, volume 101 of Lecture Notes in Pure and Applied Mathematics. Marcel Dekker, 1985.
14. G. Kelly and J. Power. Adjunctions whose counits are coequalizers and presentations of enriched monads. J.Pure Appl. Algebra, 89, 1993.
15. M. Kracht. Tools and Techniques in Modal Logic. Elsevier, 1999.
16. C. Kupke, A. Kurz, and D. Pattinson. Algebraic semantics for coalgebraic logics. In CMCS'04, ENTCS, 2004.
17. C. Kupke, A. Kurz, and D. Pattinson. Ultrafilter extensions of coalgebras. In CALCO 2005, LNCS 3629, 2005.
18. C. Kupke, A. Kurz, and Y. Venema. Stone coalgebras. Theoret. Comput. Sci., 327, 2004.
19. A. Kurz. Specifying coalgebras with modal logic. Theoret. Comput. Sci., 260, 2001.
20. F. Linton. An outline of functorial semantics. In Seminar on triples and categorical homology theory, LNM 80. 1969.
21. L. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96, 1999.
22. L. Moss and I. Viglizzo. Harsanyi type spaces and final coalgebras constructed from satisfied theories. In CMCS'04, ENTCS, 2004.
23. D. Pattinson. Coalgebraic modal logic: Soundness, completeness and decidability of local consequence. Theoret. Comput. Sci., 309, 2003.
24. J. Reiterman. Algebraic theories and varieties of functor algebras. Fund. Math., 118, 1983.
25. E. Robinson. Powerdomains, modalities and the Vietoris monad. Technical report, Computer Laboratory Technical Report 98, University of Cambridge, 1986.
26. J. Rosický On algebraic categories. In Universal Algebra (Proc. Coll. Esztergom 1977), volume 29 of Colloq. Math. Soc. J. Bolyai, 1981.
27. M. Rößiger. Coalgebras and modal logic. In CMCS'00, volume 33 of ENTCS, 2000.
28. M. Rößiger. From modal logic to terminal coalgebras. Theoret. Comput. Sci., 260, 2001.
29. J. Rutten. Universal coalgebra: A theory of systems. Theoret. Comput. Sci., 249, 2000.
30. L. Schroeder. Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In V Sassone, editor, FoSSaCS'05, volume 3441 of LNCS, 2005.
31. S. J. Vickers. Topology Via Logic. CUP, 1989.
32. G. Winskel. Note on powerdomains and modality. Theoret. Comp. Sci., 36, 1985.