
The Vietoris space of a Stone space plays an important role in the coalgebraic approach to modal logic. When generalizing this to positive modal logic, there is a variety of relevant hyperspace constructions based on various topologies on a Priestley space and mechanisms to topologize the hyperspace of closed sets. A number of authors considered hyperspaces of Priestley spaces and their application to the coalgebraic approach to positive modal logic. A mixture of techniques from category theory, pointfree topology, and Priestley duality have been employed. Our aim is to provide a unifying approach to this area of research relying only on a basic familiarity with Priestley duality and related free constructions of distributive lattices.
24 pages
03B45, 54B20, Structure and representation theory of distributive lattices, General Topology (math.GN), distributive lattice, Lattices and duality, hit-or-miss topology, positive modal logic, Priestley space, hyperspace, FOS: Mathematics, Vietoris space, coalgebra, Modal logic (including the logic of norms), Mathematics - General Topology
03B45, 54B20, Structure and representation theory of distributive lattices, General Topology (math.GN), distributive lattice, Lattices and duality, hit-or-miss topology, positive modal logic, Priestley space, hyperspace, FOS: Mathematics, Vietoris space, coalgebra, Modal logic (including the logic of norms), Mathematics - General Topology
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
