Temporal Logic of Minkowski Spacetime

DOI10.1007/978-3-030-71430-7_15OpenAlexW3091518162MaRDI QIDQ5027245

Brett McLean, Robin Hirschl

Publication date: 4 February 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

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

zbMATH Keywords

filtrationtemporal logicMinkowski spacetimedecidable

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diodorean modality in Minkowski spacetime
• Many-dimensional modal logics: theory and applications
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• Relationships between nondeterministic and deterministic tape complexities
• A propositional modal logic of time intervals
• On the Products of Linear Modal Logics
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable

This page was built for publication: Temporal Logic of Minkowski Spacetime