A note on the modal and temporal logics for n-dimensional spacetime

DOI10.1305/NDJFL/1039118869MaRDI QIDQ5937837zbMATH OpenOpenAlexFDO

Authors John F. Phillips

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039118869

zbMATH Keywords

\(n\)-dimensional integral spacetime frame\(n\)-dimensional spacetimeDiodorean modal logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Special relativity (83A05)

Recommendations

• Modal and temporal logics for abstract space-time structures
• Modal Logics of Regions and Minkowski Spacetime
• Temporal aspects of the modal logic of subset spaces
• Modal logics of succession for 2-dimensional integral spacetime
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Contextual logic with modalities for time and space
• Logical axiomatizations of space-time. Samples from the literature
• scientific article; zbMATH DE number 1696880
• On the axiomatizability of some first-order spatio-temporal theories
• scientific article; zbMATH DE number 5241969

Cites work

• Diodorean modality in Minkowski spacetime
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse

Cited in

(7)

• Investigations of isotropy and homogeneity of spacetime in first-order logic
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• On the axiomatizability of some first-order spatio-temporal theories
• Modal Logics of Regions and Minkowski Spacetime
• Modal logics of succession for 2-dimensional integral spacetime
• Modal and temporal logics for abstract space-time structures
• Modal logics of domains on the real plane

This page was built for publication: A note on the modal and temporal logics for \(n\)-dimensional spacetime

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