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 ;
摘要：
引用
收藏
页码：81 / 129
页数：49
相关论文
共 50 条
  • [1] Completeness theorems for reactive modal logics
    Dov Gabbay
    Annals of Mathematics and Artificial Intelligence, 2012, 66 : 81 - 129
  • [2] Arithmetical completeness theorems for monotonic modal logics
    Kogure, Haruka
    Kurahashi, Taishi
    ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (07)
  • [3] Strong standard completeness theorems for S5-modal Łukasiewicz logics
    Castano, Diego
    Varela, Jose Patricio Diaz
    Savoy, Gabriel
    ANNALS OF PURE AND APPLIED LOGIC, 2025, 176 (03)
  • [4] COMPLETENESS OF MONOTONIC MODAL LOGICS
    CHELLAS, BF
    MCKINNEY, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 379 - 383
  • [5] COMPLETENESS OF CHRONOLOGICAL LOGICS WITH MODAL OPERATORS
    NISHIMURA, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 487 - 496
  • [6] Hallden Completeness for Relevant Modal Logics
    Seki, Takahiro
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (02) : 333 - 350
  • [7] Completeness for flat modal fixpoint logics
    Santocanale, Luigi
    Venema, Yde
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 162 (01) : 55 - 82
  • [8] BARWISE COMPLETENESS THEOREMS FOR SOME BIPROBABILITY LOGICS
    RASKOVIC, M
    ZIVALJEVIC, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 133 - 135
  • [9] Axiomatization and Completeness of Lexicographic Products of Modal Logics
    Balbiani, Philippe
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 165 - 180
  • [10] Combinations and completeness transfer for quantified modal logics
    Schurz, Gerhard
    LOGIC JOURNAL OF THE IGPL, 2011, 19 (04) : 598 - 616
12345