Modal Logic and the Vietoris Functor
| Authors | |
|---|---|
| Publication date | 2014 |
| Host editors |
|
| Book title | Leo Esakia on Duality in Modal and Intuitionistic Logics |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Outstanding contributions to logic |
| Pages (from-to) | 119-153 |
| Publisher | Dordrecht: Springer |
| Organisations |
|
| Abstract | 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. |
| Document type | Chapter |
| Language | English |
| Published at | https://doi.org/10.1007/978-94-017-8860-1_6 |
| Downloads |
Modal logic and the Vietoris functor
(Submitted manuscript)
|
| Permalink to this page | |