Temporal Logic of Minkowski Spacetime

&
In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 389-409 (2021)
  Copy   BIBTEX

Abstract

We present the proof that the temporal logic of two-dimensional Minkowski spacetime is decidable, PSPACE-complete. The proof is based on a type of two-dimensional mosaic. Then, we present the modification of the proof so as to work for slower-than-light signals. Finally, a subframe of the slower-than-light Minkowski frame is used to prove the new result that the temporal logic of real intervals with during as the accessibility relation is also PSPACE-complete.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-030-71430-7_15

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The temporal logic of two dimensional Minkowski spacetime is decidable.Robin Hirsch & Mark Reynolds - 2018 - Journal of Symbolic Logic 83 (3):829-867.
A Note on the Modal and Temporal Logics for N -Dimensional Spacetime.John F. Phillips - 1998 - Notre Dame Journal of Formal Logic 39 (4):545-553.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic 50 (1):149-185.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.
Persistence and spacetime.Yuri Balashov - 2010 - New York: Oxford University Press.
Might have Minkowski discovered the cause of gravitation before Einstein?Vesselin Petkov - unknown
Communicating with Accelerated Observers in Minkowski Spacetime.Francisco Flores - unknown
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.
The definability of objective becoming in Minkowski spacetime.Rob Clifton & Mark Hogarth - 1995 - Synthese 103 (3):355 - 387.
Balashov on special relativity, coexistence, and temporal parts.Cody S. Gilmore - 2002 - Philosophical Studies 109 (3):241-263.
Should we represent the present in Minkowski spacetime?Mauro Dorato - unknown
Relativity Without Spacetime.Joseph K. Cosgrove - 2018 - Cham: Springer Verlag.
A Connection between Minkowski and Galilean Space‐times in Quantum Mechanics.Douglas Kutach - 2010 - International Studies in the Philosophy of Science 24 (1):15 – 29.
Space, Time, and Spacetime: Physical and Philosophical Implications of Minkowski's Unification of Space and Time.Vesselin Petkov (ed.) - 2010 - Springer.
On the Reality of Minkowski Space.Vesselin Petkov - 2007 - Foundations of Physics 37 (10):1499-1502.

Analytics

Added to PP
2022-03-09

Downloads
12 (#1,085,300)

6 months
5 (#639,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references