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 条
  • [31] Restricted classical modal logics
    Mortari, Cezar A.
    LOGIC JOURNAL OF THE IGPL, 2007, 15 (5-6) : 741 - 757
  • [32] On the Decidability of Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Kieron, Emanuel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [33] Admissible rules of modal logics
    Jerábek, E
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (04) : 411 - 431
  • [34] Exemplaric Expressivity of Modal Logics
    Jacobs, Bart
    Sokolova, Ana
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (05) : 1041 - 1068
  • [35] Modal logics of sabotage revisited
    Aucher, Guillaume
    van Benthem, Johan
    Grossi, Davide
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 269 - 303
  • [36] Modal logics for incidence geometries
    Balbiani, P
    DelCerro, LF
    Tinchev, T
    Vakarelov, D
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (01) : 59 - 78
  • [37] Lower bounds for modal logics
    Hrubes, Pavel
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (03) : 941 - 958
  • [38] An institution of modal logics for coalgebras
    Cîrstea, C
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 67 (1-2): : 87 - 113
  • [39] A Solver for Modal Fixpoint Logics
    Friedmann, Oliver
    Lange, Martin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 262 : 99 - 111
  • [40] Decidable Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 491 - 500
12345