Search

• < Previous
• 1
• Next >

---

Coalgebraic Geometric Logic: Basic Theory

Nick Bezhanishvili ; Jim de Groot ; Yde Venema.

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of topological spaces and continuous functions. We&nbsp;[&hellip;]

---

Geometric Model Checking of Continuous Space

Nick Bezhanishvili ; Vincenzo Ciancia ; David Gabelaia ; Gianluca Grilletti ; Diego Latella ; Mieke Massink.

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can be used for expressing interesting&nbsp;[&hellip;]

---