![](/img/cover-not-exists.png)
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
HIRSCH, ROBIN, REYNOLDS, MARKVolume:
83
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2017.79
Date:
September, 2018
File:
PDF, 452 KB
english, 2018