The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
From MaRDI portal
Publication:5224575
zbMath1418.03062arXiv1806.09760MaRDI QIDQ5224575
Publication date: 24 July 2019
Full work available at URL: https://arxiv.org/abs/1806.09760
Special relativity (83A05) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items (2)
Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Temporal Logic of Minkowski Spacetime
This page was built for publication: The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
