Modal Logics of Regions and Minkowski Spacetime
From MaRDI portal
Publication:5696309
DOI10.1093/logcom/exi039zbMath1084.03016OpenAlexW2066151023MaRDI QIDQ5696309
Valentin Shehtman, Ilya B. 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
Minkowski metricintuitionistic logic(un)decidabilitymodal logic of space(non-)finite axiomatizabilityballs and regions in \(n\)-dimensional real space
Modal logic (including the logic of norms) (03B45) Special relativity (83A05) Temporal logic (03B44)
Related Items
Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III ⋮ Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II ⋮ Logic for physical space. From antiquity to present day ⋮ Geographic wayfinders and space-time algebra ⋮ Unnamed Item ⋮ Modal logics of some geometrical structures ⋮ Axiomatizing relativistic dynamics using formal thought experiments