-
Views
-
Cite
Cite
Ilya Shapirovsky, Valentin Shehtman, Modal Logics of Regions and Minkowski Spacetime, Journal of Logic and Computation, Volume 15, Issue 4, August 2005, Pages 559–574, https://doi.org/10.1093/logcom/exi039
- Share Icon Share
Abstract
The paper studies modal logics of Kripke frames, in which possible worlds are regions in space with natural accessibility relations. These logics are also interpreted as relativistic temporal logics. Together with an overview, we prove some new results on completeness, decidability, complexity, and finite axiomatizability.
Vol. 15 No. 4, © The Author, 2005. Published by Oxford University Press. All rights reserved.
Issue Section:
Original Articles
You do not currently have access to this article.