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.
CITATION STYLE
Venema, Y., & Vosmaer, J. (2014). Modal logic and the vietoris functor. In Outstanding Contributions to Logic (Vol. 4, pp. 119–153). Springer. https://doi.org/10.1007/978-94-017-8860-1_6
Mendeley helps you to discover research relevant for your work.