The temporal logic of two dimensional Minkowski spacetime is decidable

&
Journal of Symbolic Logic 83 (3):829-867 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.79

Links

PhilArchive



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

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

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
Might have Minkowski discovered the cause of gravitation before Einstein?Vesselin Petkov - unknown
Communicating with Accelerated Observers in Minkowski Spacetime.Francisco Flores - unknown
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.
On the Reality of Minkowski Space.Vesselin Petkov - 2007 - Foundations of Physics 37 (10):1499-1502.
Persistence and spacetime.Yuri Balashov - 2010 - New York: Oxford University Press.
Modal logics of succession for 2-dimensional integral spacetime.John F. Phillips - 2001 - Journal of Philosophical Logic 30 (1):1-25.
Taking up superspace: the spacetime structure of supersymmetric field theory.Tushar Menon - 2021 - In Christian Wüthrich, Baptiste Le Bihan & Nick Huggett (eds.), Philosophy Beyond Spacetime. Oxford: Oxford University Press.
Persistence in Minkowski space-time.Cord Friebe - unknown
Acknowledgements.W. G. Kudszus - 1997 - The Chesterton Review 23 (1-2):3-3.
Persistence in Minkowski Space-Time.Cord Friebe - 2010 - In Henk W. de Regt (ed.), Epsa Philosophy of Science: Amsterdam 2009. Springer. pp. 67--75.
Balashov on special relativity, coexistence, and temporal parts.Cody S. Gilmore - 2002 - Philosophical Studies 109 (3):241-263.
Spacetime and Reality: Facing the Ultimate Judge.Vesselin Petkov - unknown
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.

Analytics

Added to PP
2018-10-25

Downloads
21 (#711,668)

6 months
4 (#797,377)

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

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
A Theory of Time and Space.Alfred A. Robb - 1915 - Mind 24 (96):555-561.
Expressiveness and completeness of an interval tense logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.

View all 15 references / Add more references