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 条
  • [41] On Kripke completeness of modal predicate logics around quantified K5
    Shehtman, Valentin
    ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (02)
  • [42] A proof-theoretic proof of functional completeness for many modal and tense logics
    Wansing, H
    PROOF THEORY OF MODAL LOGIC, 1996, 2 : 123 - 136
  • [43] CUT ELIMINATION THEOREMS FOR PROOF TABLEAU FORMULATIONS OF MODAL AND RELEVANT LOGICS
    MCROBBIE, MA
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (02) : 512 - 512
  • [44] COMPLETENESS THEOREMS FOR TEMPORAL LOGICS T-OMEGA AND CLASS-T-OMEGA
    KAWAI, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (05): : 393 - 398
  • [45] COMPLETENESS IN CARDINALITY LOGICS
    JENSEN, FV
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1975, 23 (02): : 117 - 122
  • [46] Completeness of Pledger's modal logics of one-sorted projective and elliptic planes
    Goldblatt, Robert
    AUSTRALASIAN JOURNAL OF LOGIC, 2021, 18 (04) : 106 - 131
  • [47] KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
    Kikot, Stanislav
    Kurucz, Agi
    Tanaka, Yoshihito
    Wolter, Frank
    Zakharyaschev, Michael
    JOURNAL OF SYMBOLIC LOGIC, 2019, 84 (02) : 533 - 588
  • [48] Completeness theorems for (sic)▭-bundled fragment of first-order modal logic
    Wang, Xun
    SYNTHESE, 2023, 201 (04)
  • [49] On Herbrand-like Theorems for Cut-free Modal Sequent Logics
    Lyaletski, Alexander
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 102 - 109
  • [50] ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
    Carnielli, Walter
    Coniglio, Marcelo E.
    Podiacki, Rodrigo
    Rodrigues, Tarcisio
    REVIEW OF SYMBOLIC LOGIC, 2014, 7 (03): : 548 - 578
12345