Modal logics of regions and Minkowski spacetime

被引：9
作者：
Shapirovsky, I [1 ]
Shehtman, V [1 ]
机构：
[1] Russian Acad Sci, Inst Informat Transmiss Problems, Moscow 101447, Russia
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2005年 / 15卷 / 04期
关键词：
relativistic temporal logics; interval temporal logics; region; causal accessibility; chronological accessibility; 'after' relation; finite axiomatizability; Jankov-Fine formulas; finite model property; PSPACE; intuitionistic logic; information types;
D O I：
10.1093/logcom/exi039
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：559 / 574
页数：16
相关论文
共 30 条
  • [1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS
    ALLEN, JF
    [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843
  • [2] [Anonymous], 2003, ADV MODAL LOGIC
  • [3] [Anonymous], 1980, STUD LOGICA INT J SY
  • [4] BENNETT B, 1996, LOG J IGPL, V4, P23
  • [5] BENNETT M, 1977, LOGIQUE ANAL, V20, P137
  • [6] Blackburn P., 2001, Cambridge Tracts in Theoretical Computer Science, V53
  • [7] Chagrov A., 1997, Modal Logic
  • [8] Cohn AG, 2001, FUND INFORM, V46, P1
  • [9] de Laguna Theodore., 1922, J. Philosophy, V19, P449, DOI [DOI 10.2307/2939504, 10.2307/2939504]
  • [10] Gabbay D., 1998, Logic J. IGPL, V6, P73, DOI [10.1093/jigpal/6.1.73, DOI 10.1093/JIGPAL/6.1.73]
123