LOGICS WITH SEVERAL MODAL OPERATORS

被引：0
|
作者：
FITTING, M
机构：
来源：
THEORIA | 1969年 / 35卷
关键词：
D O I：
暂无
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
引用
收藏
页码：259 / 266
页数：8
相关论文
共 50 条
  • [21] Combinations of modal logics
    Bennett, B
    Dixon, C
    Fisher, M
    Hustadt, U
    Franconi, E
    Horrocks, I
    De Rijke, M
    ARTIFICIAL INTELLIGENCE REVIEW, 2002, 17 (01) : 1 - 20
  • [22] SYMMETRIES IN MODAL LOGICS
    Areces, Carlos
    Orbe, Ezequiel
    BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (04) : 373 - 401
  • [23] Connected modal logics
    Bezhanishvili, Guram
    Gabelaia, David
    ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (3-4) : 287 - 317
  • [24] Combinations of Modal Logics
    Brandon Bennett
    Clare Dixon
    Michael Fisher
    Ullrich Hustadt
    Enrico Franconi
    Ian Horrocks
    Maarten de Rijke
    Artificial Intelligence Review, 2002, 17 : 1 - 20
  • [25] Modal Discussive Logics
    Mruczek-Nasieniewska, Krystyna
    Nasieniewski, Marek
    Pietruszczak, Andrzej
    JOURNAL OF PHILOSOPHICAL LOGIC, 2025, 54 (01) : 99 - 142
  • [26] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [27] 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
  • [28] Products of modal logics. Part 3: Products of modal and temporal logics
    Gabbay D.
    Shehtman V.
    Studia Logica, 2002, 72 (2) : 157 - 183
  • [29] MODAL SEQUENTS FOR NORMAL MODAL-LOGICS
    CERRATO, C
    MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (02) : 231 - 240
  • [30] Logics with aggregate operators
    Hella, L
    Libkin, L
    Nurmonen, J
    Wong, LS
    JOURNAL OF THE ACM, 2001, 48 (04) : 880 - 907
12345