Modal and temporal logics for abstract space-time structures

DOI10.1016/J.SHPSB.2007.01.004MaRDI QIDQ643108zbMATH OpenOpenAlexFDO

Authors Sara L. Uckelman, Joel Uckelman

Publication date 27 October 2011

Published in Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.shpsb.2007.01.004

zbMATH Keywords

timemodal logictemporal logicnecessityDiodoros Chronos\(n\)-dimensional space

Mathematics Subject Classification ID

Physics (00A79) Special relativity (83A05) Philosophy of mathematics (00A30)

Recommendations

• scientific article; zbMATH DE number 515372
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• scientific article; zbMATH DE number 2196602
• scientific article; zbMATH DE number 1749195
• Geometrical structures and modal logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 2196602 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• Diodorean modality in Minkowski spacetime
• Modal logics of succession for 2-dimensional integral spacetime

Cited in

(9)

• scientific article; zbMATH DE number 3877150 (Why is no real title available?)
• A multiprocess network logic with temporal and spatial modalities
• Worlds and times. NS and the master argument
• Dynamic contact algebras and quantifier-free logics for space and time
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• On the axiomatizability of some first-order spatio-temporal theories
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• scientific article; zbMATH DE number 515372 (Why is no real title available?)
• scientific article; zbMATH DE number 1927555 (Why is no real title available?)

This page was built for publication: Modal and temporal logics for abstract space-time structures

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