An axiomatisation of the temporal logic of two dimensional Minkowski spacetime

Abstract

We define temporal axioms that are sound and complete for the temporal validities over $({\mathbb{R}}^2,<)$.

A serious problem with the proof was brought to my attention. I hope to repair and re-post at a later date