Modal Logic and the Vietoris Functor

  • Yde Venema
  • Jacob Vosmaer
Part of the Outstanding Contributions to Logic book series (OCTR, volume 4)


In [16], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this chapter, we sketch some of the thematically related mathematical developments that followed. Specifically, we look at Stone duality for the Vietoris hyperspace and the Vietoris powerlocale, and at recent work combining coalgebraic modal logic and the Vietoris functor.


Modal logic Vietoris topology Stone duality Coalgebra 



We would like to thank Liang-Ting Chen and Steve Vickers for providing helpful pointers to the literature. Additionally, we would like to thank the anonymous referee, whose thorough criticism contributed significantly to the quality of this chapter, and in particular to the presentation and choice of contents in Sect. Finally, we are grateful to Guram Bezhanishvili, who provided many suggestions for improving the presentation of the chapter.


  1. 1.
    Abramsky S (1991) A domain equation for bisimulation. Inform Comput 92(2):161–218Google Scholar
  2. 2.
    Abramsky S (1991) Domain theory in logical form. Ann Pure Appl Logic, 51(1–2):1–77. Second annual IEEE symposium on logic in computer science (Ithaca, NY, 1987)Google Scholar
  3. 3.
    Abramsky S (2005) A Cook’s tour of the finitary non-well-founded sets. In: Artemov S, Barringer H, d’Avila Garcez A, Lamb L, Woods J (eds) We will show them: essays in honour of Dov Gabbay, vol 1. College Publications, pp 1–18Google Scholar
  4. 4.
    Abramsky S, Jung A (1994) Domain theory. In: Handbook of logic in computer science, vol 3. Clarendon Press, Oxford, pp 1–168Google Scholar
  5. 5.
    Aczel P (1988) Non-well-founded sets. CSLI lecture notes, vol 14. Stanford University Center for the Study of Language and Information, Stanford, CAGoogle Scholar
  6. 6.
    Banaschewksi B, Mulvey C (1980) Stone-Čech compactification of locales. I. Houston J Math 6:301–312Google Scholar
  7. 7.
    Barwise J, Moss L (1996) Vicious circles. CSLI lecture notes, vol 60. CSLI Publications, Stanford, CAGoogle Scholar
  8. 8.
    Bezhanishvili G, Bezhanishvili N, Gabelaia D, Kurz A (2010) Bitopological duality for distributive lattices and Heyting algebras. Math Struct Comput Sci 20(3):359–393CrossRefGoogle Scholar
  9. 9.
    Bezhanishvili G, Bezhanishvili N, Harding J (2012) Modal compact Hausdorff spaces. J Logic Comput. doi: 10.1093/logcom/exs030
  10. 10.
    Bezhanishvili N, Kurz A (2007) Free modal algebras: a coalgebraic perspective. In: Mossakowski T, Montanari U, Haveraaen M (eds) Algebra and coalgebra in computer science. Lecture notes in computer science, vol 4624. Springer, Berlin, pp 143–157Google Scholar
  11. 11.
    Bílková M, Palmigiano A, Venema Y (2008) Proof systems for the coalgebraic cover modality. In: Areces C, Goldblatt R (eds) Advances in modal logic 7, Nancy 2008. College Publications, pp 1–21Google Scholar
  12. 12.
    Cîrstea C, Kurz A, Pattinson D, Schröder L, Venema Y (2011) Modal logics are coalgebraic. Comput J 54:524–538CrossRefGoogle Scholar
  13. 13.
    Coquand T, Sambin G, Smith J, Valentini S (2003) Inductively generated formal topologies. Ann Pure Appl Logic 124(1–3):71–106CrossRefGoogle Scholar
  14. 14.
    Cornish W (1975) On H. Priestley’s dual of the category of bounded distributive lattices. Mat Vesnik 12(27):329–332Google Scholar
  15. 15.
    Davey B, Galati J (2003) A coalgebraic view of Heyting duality. Studia Logica 75(3):259–270Google Scholar
  16. 16.
    Esakia L (1974) Topological Kripke models. Dokl Akad Nauk SSSR 214:298–301Google Scholar
  17. 17.
    Fine K (1975) Normal forms in modal logic. Notre Dame J Formal Logic 16(2):229–237CrossRefGoogle Scholar
  18. 18.
    Gierz G, Hofmann K, Keimel K, Lawson J, Mislove M, Scott D (2003) Continuous lattices and domains. Cambridge University Press, CambridgeGoogle Scholar
  19. 19.
    Hochster M (1969) Prime ideal structure in commutative rings. Trans Am Math Soc 142:43–60CrossRefGoogle Scholar
  20. 20.
    Isbell J (1972) Atomless parts of spaces. Math Scand 31:5–32Google Scholar
  21. 21.
    Janin D, Walukiewicz I (1995) Automata for the modal \(\mu \)-calculus and related results. In: Mathematical foundations of computer science 1995 (Prague). Lecture notes in computer science, vol 969. Springer, Berlin, pp 552–562Google Scholar
  22. 22.
    Johnstone P (1982) Stone spaces. Cambridge studies in advanced mathematics, vol 3. Cambridge University Press, CambridgeGoogle Scholar
  23. 23.
    Johnstone P (1985) Vietoris locales and localic semilattices. In: Continuous lattices and their applications (Bremen, 1982). Lecture notes in pure and applied mathematics, vol 101. Dekker, New York, pp 155–180Google Scholar
  24. 24.
    Jung A, Moshier M, Vickers S (2008) Presenting dcpos and dcpo algebras. In: Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV). Electronic notes in theoretical computer science, vol 218, pp 209–229Google Scholar
  25. 25.
    Kegelmann M (2002) Continuous domains in logical form. Electron Notes Theor Comput Sci 49:1–166CrossRefGoogle Scholar
  26. 26.
    Kupke C, Kurz A, Venema Y (2004) Stone coalgebras. Theor Comput Sci 327(1–2):109–134CrossRefGoogle Scholar
  27. 27.
    Kupke C, Kurz A, Venema Y (2008) Completeness of the finitary Moss logic. In: Areces C, Goldblatt R (eds) Advances in modal logic 7, Nancy 2008. College Publications, pp 193–217Google Scholar
  28. 28.
    Kupke C, Kurz K, Venema Y (2012) Completeness for the coalgebraic cover modality. Logical Methods Comput Sci 8(3)Google Scholar
  29. 29.
    Kupke C, Pattinson D (2011) Coalgebraic semantics of modal logics: an overview. Theor Comput Sci 412:5070–5094CrossRefGoogle Scholar
  30. 30.
    Moss L (1999) Coalgebraic logic. Ann Pure Appl Logic 96:277–317 (Erratum published Ann Pure Appl Logic 99:241–259, 1999)Google Scholar
  31. 31.
    Palmigiano A (2004) A coalgebraic view on positive modal logic. Theor Comput Sci 327(1–2):175–195CrossRefGoogle Scholar
  32. 32.
    Palmigiano A, Venema Y (2007) Nabla algebras and Chu spaces. In: Mossakowski T, Montanari U, Haveraaen M (eds) Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, 20–24 Aug 2007. LNCS, vol 4624. Springer, pp 394–408Google Scholar
  33. 33.
    Robinson E (1986) Power-domains, modalities and the Vietoris monad. Technical Report UCAM-CL-TR-98, University of Cambridge, Computer Laboratory, Oct 1986Google Scholar
  34. 34.
    Rutten J (2000) Universal coalgebra: a theory of systems. Theor Comput Sci 249(1):3–80. Modern algebra and its applications (Nashville, TN, 1996)Google Scholar
  35. 35.
    Simmons H (2004) The Vietoris modifications of a frame. Unpublished manuscript, 79 pp, available online at
  36. 36.
    Trnková V (1980) General theory of relational automata. Fundamenta Informaticae 3(2):189–234Google Scholar
  37. 37.
    Venema Y, Vickers S, Vosmaer J (2013) Generalized powerlocales via relation lifting. Math Struct Comput Sci 23:142–199Google Scholar
  38. 38.
    Vickers S (1989) Topology via logic. Cambridge tracts in theoretical computer science, vol 5. Cambridge University Press, CambridgeGoogle Scholar
  39. 39.
    Vickers S (1997) Constructive points of powerlocales. Math Proc Cambridge Philos Soc 122:207–222Google Scholar
  40. 40.
    Vickers S (1993) Information systems for continuous posets. Theor Comput Sci 114(2):201–229Google Scholar
  41. 41.
    Vietoris L (1922) Bereiche zweiter Ordnung. Monatsh Math Phys 32(1):258–280CrossRefGoogle Scholar
  42. 42.
    Vosmaer J (2010) Logic, algebra and topology. Investigations into canonical extensions, duality theory and point-free topology. PhD thesis, Institute for Logic, Language and Computation, Dec 2010 (Promotores: M. Gehrke and Y. Venema)Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations