Presenting Functors by Operations and Equations

  • Marcello M. Bonsangue
  • Alexander Kurz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3921)


We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the ‘Stone dual’ L of T. We show that such a functor always gives rise to an ‘abstract’ adequate logic for T-coalgebras and investigate under which circumstances it gives rise to a ‘concrete’ such logic, that is, a logic with an inductively defined syntax and proof system. We obtain a result that allows us to prove adequateness of logics uniformly for a large number of different types of transition systems and give some examples of its usefulness.


Modal Logic Transition System Propositional Logic Free Algebra Modal Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Marcello M. Bonsangue
    • 1
  • Alexander Kurz
    • 2
  1. 1.LIACSLeiden UniversityThe Netherlands
  2. 2.Department of Computer ScienceUniversity of LeicesterUK

Personalised recommendations