[CITATION][C] An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
R Hirsch - arXiv preprint arXiv:2405.00618, 2024 - arxiv.org
arXiv preprint arXiv:2405.00618, 2024•arxiv.org
[2405.00618] An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
Skip to main content Cornell University We gratefully acknowledge support from the Simons
Foundation, member institutions, and all contributors. Donate arxiv logo > math >
arXiv:2405.00618 Help | Advanced Search Search arXiv logo Cornell University Logo GO quick
links Login Help Pages About Mathematics > Logic arXiv:2405.00618 (math) This paper has
been withdrawn by Robin Hirsch [Submitted on 1 May 2024 (v1), last revised 23 May 2024 (this …
Skip to main content Cornell University We gratefully acknowledge support from the Simons
Foundation, member institutions, and all contributors. Donate arxiv logo > math >
arXiv:2405.00618 Help | Advanced Search Search arXiv logo Cornell University Logo GO quick
links Login Help Pages About Mathematics > Logic arXiv:2405.00618 (math) This paper has
been withdrawn by Robin Hirsch [Submitted on 1 May 2024 (v1), last revised 23 May 2024 (this …
We define temporal axioms that are sound and complete for the temporal validities over $(\reals^2, <)$.
arxiv.org