Temporal logic of Minkowski spacetime

DOI10.1007/978-3-030-71430-7_15MaRDI QIDQ5027245zbMATH OpenOpenAlexFDO

Authors Brett McLean, Robin Hirsch

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

decidablefiltrationMinkowski spacetimetemporal logic

Mathematics Subject Classification ID

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

Recommendations

• The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• The complexity of temporal logic over the reals
• scientific article; zbMATH DE number 2196602
• The complexity of the temporal logic with ``until over general linear time

Cites work

• A propositional modal logic of time intervals
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• Diodorean modality in Minkowski spacetime
• Handbook of modal logic
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• scientific article; zbMATH DE number 2196602 (Why is no real title available?)
• scientific article; zbMATH DE number 5046366 (Why is no real title available?)
• Many-dimensional modal logics: theory and applications
• On the Products of Linear Modal Logics
• Relationships between nondeterministic and deterministic tape complexities
• 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

Cited in

(9)

• A decidable temporal logic of parallelism
• Time-neutrality and linearity
• scientific article; zbMATH DE number 1975421 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 2196602 (Why is no real title available?)
• scientific article; zbMATH DE number 2220918 (Why is no real title available?)
• EXPTIME-hardness of higher-dimensional Minkowski spacetime
• Ordering events in Minkowski space

This page was built for publication: Temporal logic of Minkowski spacetime

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027245)