Preprint
Aug 2026
Dynamic Polyhedral Logic
We introduce spatio-temporal polyhedral reachability logics, extending dynamic topological logic with polyhedral semantics and a path-based spatial reachability operator. Formulas are interpreted over polyhedra, with admissible valuations ranging over polyhedral subsets; the spatial modality is interpreted as interior,...
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia et al.
· 0 citations