A Note on the Modal and Temporal Logics for N -Dimensional Spacetime

Notre Dame Journal of Formal Logic 39 (4):545-553 (1998)
  Copy   BIBTEX

Abstract

We generalize an observation made by Goldblatt in "Diodorean modality in Minkowski spacetime" by proving that each -dimensional integral spacetime frame equipped with Robb's irreflexive `after' relation determines a unique temporal logic. Our main result is that, unlike -dimensional spacetime where, as Goldblatt has shown, the Diodorean modal logic is the same for each frame , in the case of -dimensional integral spacetime, the frame determines a unique Diodorean modal logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

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

Through your library

Similar books and articles

Modal Logics for Integral Spacetime.John F. Phillips - 1999 - Dissertation, The University of Wisconsin - Madison
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.
Chronological Future Modality in Minkowski Spacetime.Ilya Shapirovsky & Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 437-459.
Flat Spacetime Gravitation with a Preferred Foliation.J. B. Pitts & W. C. Schieve - 2001 - Foundations of Physics 31 (7):1083-1104.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic 50 (1):149-185.

Analytics

Added to PP
2010-08-24

Downloads
102 (#168,762)

6 months
24 (#147,866)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal and temporal logics for abstract space–time structures.Sara L. Uckelman & Joel Uckelman - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):673-681.

Add more citations

References found in this work

Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
Determiners and logic.Johan van Benthem - 1983 - Linguistics and Philosophy 6 (4):447-478.

Add more references