Modal Logics of Regions and Minkowski Spacetime
Ilya Borisovich Shapirovsky, Valentin Borisovich Shehtman · Journal of Logic and Computation · 2005
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.