76 citations · 102 across the 14 of their papers we have counts for
5 papers · 1 filter
Dynamic Polyhedral Logic
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2
We introduce spatio-temporal polyhedral reachability logics, extending dynamic topological logic with polyhedral semantics and a path-based spatial reachability operator. Formulas…
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +5
The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral mo…
Logics of polyhedral reachability
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral s…
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +4
In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplici…
Geometric Model Checking of Continuous Space
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +3
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 Closur…