Modal Logics of Regions and Minkowski Spacetime

DOI10.1093/LOGCOM/EXI039MaRDI QIDQ5696309zbMATH OpenOpenAlexFDO

Authors Valentin Shehtman, Ilya Shapirovsky

Publication date 18 October 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi039

zbMATH Keywords

(non-)finite axiomatizability(un)decidabilityballs and regions in \(n\)-dimensional real spaceintuitionistic logicMinkowski metricmodal logic of space

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2196602
• Modal logics of domains on the real plane
• scientific article; zbMATH DE number 5640557
• Modal logics of some geometrical structures
• A note on the modal and temporal logics for \(n\)-dimensional spacetime

Cited in

(18)

• Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
• Geographic wayfinders and space-time algebra
• Continuous accessibility modal logics
• Modal logics for metric spaces: open problems
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
• scientific article; zbMATH DE number 5640557 (Why is no real title available?)
• Logic for physical space. From antiquity to present day
• scientific article; zbMATH DE number 1975421 (Why is no real title available?)
• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
• Axiomatizing relativistic dynamics using formal thought experiments
• scientific article; zbMATH DE number 2196602 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Modal logics of succession for 2-dimensional integral spacetime
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• Chair of Mathematical Logic and Theory of Algorithms
• Modal logics of domains on the real plane
• Modal logics of some geometrical structures

This page was built for publication: Modal Logics of Regions and Minkowski Spacetime

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