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 条

[11] Gabbay D., 2003, Many-Dimensional Modal Logics: Theory and Applications
[12] GERLA G, 1995, HDB INCIDENCE GEOMET, P1015, DOI DOI 10.1016/B978-044488355-1/50020-7
[13] GORANKO V, 2004, J APPL NONCLASSICAL, V14, P11
[14] Grzegorczyk A., 1960, Synthese, V12, P228, DOI [10.1007/BF00485101, DOI 10.1007/BF00485101]
[15] Halpern J. Y., 1986, Proceedings of the Symposium on Logic in Computer Science (Cat. No.86CH2321-8), P279
[16] HUMBERSTONE IL, 1979, J PHILOS LOGIC, V8, P171
[17] LUTZ C, 2004, ADV MODAL LOGICS, P249
[18] Marx M., 1997, MULTIDIMENSIONAL MOD
[19] MEDVEDEV YT, 1979, SEMIOTIKA I INFORMAT, V13, P109
[20] NISHIMURA H, 1980, PUBLICATIONS RES I M, V16, P417

← 1 2 3 →