TY  - RPRT
TI  - An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
AU  - Robin Hirsch
PY  - 2024
UR  - https://arxiv.org/abs/2405.00618
ID  - 2405.00618
ER  -