A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modal Logic and the Vietoris Functor
[chapter]
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