Logics of polyhedral reachability

MaRDI QIDQ6967406zbMATH OpenFDO

Authors Nick Bezhanishvili, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia

Publication date 26 June 2025

zbMATH Keywords

completenesstopological semanticsspatial logicpolyhedral semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Logics of polyhedral reachability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967406)