Sound and complete axiomatizations are provided for path-reachability logic with Cantor derivative in T1 topologies and metric spaces, with decidability via neighborhood semantics that yields the finite model property.
In Marco Aiello, Ian Pratt- Hartmann & Johan van Benthem, editors: Handbook of Spatial Logics , Springer Netherlands, Dordrecht, pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Topological Logics of Path-Reachability
Sound and complete axiomatizations are provided for path-reachability logic with Cantor derivative in T1 topologies and metric spaces, with decidability via neighborhood semantics that yields the finite model property.