2 papers
cs.LO2026
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…
cs.LO2024
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…