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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,154

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.
Modal Logics for Integral Spacetime.John F. Phillips - 1999 - Dissertation, The University of Wisconsin - Madison
Strong Completeness of S4 for the Real Line.Philip Kremer - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 291-302.
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.
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.
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.Franco Montagna, G. Michele Pinna & Elisa B. P. Tiezzi - 2000 - Mathematical Logic Quarterly 46 (2):171-182.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Modal logics of domains on the real plane.V. B. Shehtman - 1983 - Studia Logica 42 (1):63-80.

Analytics

Added to PP
2022-03-09

Downloads
32 (#696,586)

6 months
7 (#673,909)

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