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: 91,423

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

Acknowledgements.W. G. Kudszus - 1997 - The Chesterton Review 23 (1-2):3-3.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
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.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.

Analytics

Added to PP
2010-08-24

Downloads
100 (#170,475)

6 months
23 (#116,291)

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