Completeness theorems for reactive modal logics

被引：2
|
作者：
Gabbay, Dov [1 ,2 ,3 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
[2] Bar Ilan Univ, Ramat Gan, Israel
[3] Univ Luxembourg, Luxembourg, Luxembourg
来源：
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2012年 / 66卷 / 1-4期
关键词：
Modal logic; Temporal logic;
D O I：
10.1007/s10472-012-9315-9
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
[No abstract available]
引用
收藏
页码：81 / 129
页数：49
相关论文
共 50 条
  • [21] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [22] Connected modal logics
    Bezhanishvili, Guram
    Gabelaia, David
    ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (3-4) : 287 - 317
  • [23] Products of modal logics. Part 3: Products of modal and temporal logics
    Gabbay D.
    Shehtman V.
    Studia Logica, 2002, 72 (2) : 157 - 183
  • [24] Application of modal logics to the specification and verification of programs
    Popov V.B.
    Anafiev A.S.
    Journal of Mathematical Sciences, 2001, 107 (6) : 4471 - 4476
  • [25] ON THE EXPRESSIVE POWER OF MODAL-LOGICS ON TREES
    SCHLINGLOFF, BH
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 441 - 451
  • [26] The complexity of regularity in grammar logics and related modal logics
    Demri, S
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (06) : 933 - 960
  • [27] The Completeness Problem for Modal Logic
    Achilleos, Antonis
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 1 - 21
  • [28] MODAL LOGICS OF TOPOLOGICAL RELATIONS
    Lutz, Carsten
    Wolter, Frank
    LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (02)
  • [29] On the succinctness of some modal logics
    French, Tim
    van der Hoek, Wiebe
    Iliev, Petar
    Kooi, Barteld
    ARTIFICIAL INTELLIGENCE, 2013, 197 : 56 - 85
  • [30] Modal logics and group polarization
    Pedersen, Mina Young
    Smets, Sonja
    Agotnes, Thomas
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 2240 - 2269
12345