A note on the modal and temporal logics for \(n\)-dimensional spacetime
From MaRDI portal
Publication:5937837
DOI10.1305/NDJFL/1039118869zbMath0966.03020OpenAlexW2030999089MaRDI QIDQ5937837
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
\(n\)-dimensional integral spacetime frame\(n\)-dimensional spacetimeDiodorean modal logictemporal logic
Modal logic (including the logic of norms) (03B45) Special relativity (83A05) Temporal logic (03B44)
Related Items (3)
Modal and temporal logics for abstract space-time structures ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
Cites Work
This page was built for publication: A note on the modal and temporal logics for \(n\)-dimensional spacetime