Proof Theory of a Multi-Lane Spatial Logic

DOI10.1007/978-3-642-39718-9_14zbMath1433.03055arXiv1504.06986OpenAlexW3197814852MaRDI QIDQ5891235

Martin Hilscher, Sven Linker

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.06986

zbMATH Keywords

undecidabilityspatial logiclabelled natural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

No Need Knowing Numerous Neighbours ⋮ Safe and Optimal Adaptive Cruise Control ⋮ An Abstract Model for Proving Safety of Autonomous Urban Traffic ⋮ Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges ⋮ Spatial and timing properties in highway traffic ⋮ Proving Safety of Traffic Manoeuvres on Country Roads

This page was built for publication: Proof Theory of a Multi-Lane Spatial Logic