The temporal logic of two dimensional Minkowski spacetime is decidable

Hirsch, RD; (2018) The temporal logic of two dimensional Minkowski spacetime is decidable. Journal of Symbolic Logic (In press).

http://ift.tt/2yPqdaW