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.
Second Reader
J. Madarász
Alfréd Rényi Institute of Mathematics
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Andréka, H., Madarász, J. X., & Németi, I. (2007). Logic of space-time and relativity theory. In M. Aiello, I. Pratt-Hartmann, & J. V. Benthem (Eds.), Handbook of spatial logics (pp. 607–711). Berlin: Springer.
Bresolin, D., Monica, D. D., Montanari, A., Sala, P., & Sciavicco, G. (2019). Decidability and complexity of the fragments of the modal logic of Allen’s relations over the rationals. Information and Computation, 266, 97–125.
Gabbay, D. M., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2003). Many-dimensional modal logics: Theory and applications. Studies in logic and the foundations of mathematics. Amsterdam: Elsevier Science.
Goldblatt, R. (1980). Diodorean modality in Minkowski space-time. Studia Logica, 39, 219–236.
Halpern, J., & Shoham, Y. (1986). A propositional modal logic of time intervals. In 1st International Symposium on Logic in Computer Science. Boston: IEEE.
Hirsch, R., & McLean, B. (2018). The temporal logic of two dimensional Minkowski spacetime with slower-than-light accessibility is decidable. Advances in Modal Logic, 12, 347–366.
Hirsch, R., & Reynolds, M. (2018). The temporal logic of two-dimensional Minkowski spacetime is decidable. The Journal of Symbolic Logic, 83(3), 829–867.
Kurucz, A. (2007). Combining modal logics. In P. Blackburn, J. V. Benthem, F. Wolter (Eds.), Handbook of modal logic (Vol. 3, pp. 869–924). Studies in logic and practical reasoning. Amsterdam: Elsevier.
Malament, D., & Hogarth, M. (1994). Non-Turing computers and non-Turing computability. Journal of the Philosophy of Science Association, 1, 126–138.
Montanari, A., Pratt-Hartmann, I., & Sala, P. (2010). Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders. In 17th International Symposium on Temporal Representation and Reasoning (pp. 27–34).
Németi, I. (1995). Decidable versions of first-order logic and cylindric-relativized set algebras. In L. Csirmaz, D. Gabbay, & M. D. Rijke (Eds.), Logic colloquium’92, Studies in logic, language and computation (pp. 177–241). Stanford: CSLI Publications & FoLLI.
Reynolds, M. (2011). A tableau for until and since over linear time. 18th International Symposium on Temporal Representation and Reasoning (pp. 41–48).
Reynolds, M., & Zakharyaschev, M. (2001). On the products of linear modal logics. Journal of Logic and Computation, 11(6), 909–931.
Savitch, W. J. (1970). Relationships between non-deterministic and deterministic tape complexities. Journal of Computer and System Science, 4, 177–192.
Shapirovski, I. (2004). On PSPACE decidability in transitive modal logics. Advances in Modal Logic, 5, 269–287.
Shapirovski, I. (2010). Simulations of two dimensions in unimodal logics. Advances in Modal Logic, 8, 373–391.
Shapirovski, I., & Shehtman, V. (2002). Chronological future modality in Minkowski spacetime. Advances in Modal Logic, 4, 437–459.
Spaan, E. (1993). The complexity of propositional tense logics. In M. de Rijke (Ed.), Diamonds and defaults, studies in logic, language and information (pp. 287–307). Amsterdam: Kluwer.
Acknowledgements
The authors would like to thank our reviewer, Judit Madarász, for constructive suggestions—we believe the chapter is considerably improved!
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Hirsch, R., McLean, B. (2022). Temporal Logic of Minkowski Spacetime. In: Düntsch, I., Mares, E. (eds) Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Outstanding Contributions to Logic, vol 22. Springer, Cham. https://doi.org/10.1007/978-3-030-71430-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-71430-7_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-71429-1
Online ISBN: 978-3-030-71430-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)