THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE.
We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, x can access y if an electromagnetic or (slower than light) mechanical signal could be sent from x to y. We use Prior's tense language of F and P representing causal accessi...
| Publicado en: | Journal of Symbolic Logic Vol. 83; no. 3; pp. 829 - 868 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Sep2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |