THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE

DOI10.1017/jsl.2017.79zbMath1502.03006arXiv1507.04903OpenAlexW2963374218WikidataQ129079103 ScholiaQ129079103MaRDI QIDQ4692071

Robin Hirschl, M. A. Reynolds

Publication date: 26 October 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.04903

zbMATH Keywords

decidabilitytemporal logicMinkowski spacetimeinterval logic

Mathematics Subject Classification ID

Special relativity (83A05) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals, Temporal Logic of Minkowski Spacetime

Cites Work

• A logic road from special relativity to general relativity
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Modal and temporal logics for abstract space-time structures
• Modal logics of domains on the real plane
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• A decidable temporal logic of parallelism
• Diodorean modality in Minkowski spacetime
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Expressiveness and completeness of an interval tense logic
• Synthesis for continuous time
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• A propositional modal logic of time intervals
• On the Products of Linear Modal Logics
• Modal logics of succession for 2-dimensional integral spacetime
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item