Modal Logic and the Vietoris Functor [chapter]

Yde Venema, Jacob Vosmaer
2014 Leo Esakia on Duality in Modal and Intuitionistic Logics  
In [17] , 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.
doi:10.1007/978-94-017-8860-1_6 fatcat:awd6iv5xhbfjtk2hoh2h746kxm