Robin Hirsch

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime

We define temporal axioms that are sound and complete for the temporal validities over (ℝ²,<).

Link:
https://arxiv.org/abs/2405.00618