LOGICS WITH SEVERAL MODAL OPERATORS

被引:0
|
作者
FITTING, M
机构
来源
THEORIA | 1969年 / 35卷
关键词
D O I
暂无
中图分类号
C [社会科学总论];
学科分类号
03 ; 0303 ;
摘要
引用
收藏
页码:259 / 266
页数:8
相关论文
共 50 条
  • [31] Logics with Rank Operators
    Dawar, Anuj
    Grohe, Martin
    Holm, Bjarki
    Laubner, Bastian
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 113 - +
  • [32] The complexity of regularity in grammar logics and related modal logics
    Demri, S
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (06) : 933 - 960
  • [33] Translating Classical Probability Logics into Modal Fuzzy Logics
    Baldi, Paolo
    Cintula, Petr
    Noguera, Carles
    PROCEEDINGS OF THE 11TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT 2019), 2019, 1 : 342 - 349
  • [34] Continuous Accessibility Modal Logics
    Camrud, Caleb
    Dosanjh, Ranpal
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (01) : 221 - 266
  • [35] QUANTIFIED MODAL RELEVANT LOGICS
    Ferenz, Nicholas
    REVIEW OF SYMBOLIC LOGIC, 2023, 16 (01): : 210 - 240
  • [36] MODAL LOGICS WITHOUT NEGATION
    SCHUMM, GF
    EDELSTEIN, R
    JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (03) : 615 - 615
  • [37] Monotonic modal logics with a conjunction
    Menchon, Paula
    Celani, Sergio
    ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (7-8) : 857 - 877
  • [38] Modal Fixed Point Logics
    Jaeger, Gerhard
    LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 129 - 154
  • [39] INTUITIONISTIC MODAL-LOGICS
    FISCHERSERVI, G
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 690 - 690
  • [40] On the succinctness of some modal logics
    French, Tim
    van der Hoek, Wiebe
    Iliev, Petar
    Kooi, Barteld
    ARTIFICIAL INTELLIGENCE, 2013, 197 : 56 - 85