TY  - RPRT
TI  - The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
AU  - Robin Hirsch
AU  - Brett McLean
PY  - 2018
UR  - https://arxiv.org/abs/1806.09760
ID  - 1806.09760
ER  -