LOGICS WITH SEVERAL MODAL OPERATORS

被引：0
|
作者：
FITTING, M
机构：
来源：
THEORIA | 1969年 / 35卷
关键词：
D O I：
暂无
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
引用
收藏
页码：259 / 266
页数：8
相关论文
共 50 条
  • [41] Monotonic modal logics with a conjunction
    Paula Menchón
    Sergio Celani
    Archive for Mathematical Logic, 2021, 60 : 857 - 877
  • [42] Term-modal logics
    Fitting, M
    Thalmann, L
    Voronkov, A
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 220 - 236
  • [43] Modal logics and group polarization
    Pedersen, Mina Young
    Smets, Sonja
    Agotnes, Thomas
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 2240 - 2269
  • [44] Modal logics over lattices ☆
    Wang, Xiaoyang
    Wang, Yanjing
    ANNALS OF PURE AND APPLIED LOGIC, 2025, 176 (04)
  • [45] CARTESIAN MODAL-LOGICS
    LUCAS, BJ
    JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (03) : 1005 - 1006
  • [46] THE STRENGTHS AND WEAKNESSES OF MODAL LOGICS
    Czakon, Marcin
    FILOZOFIA NAUKI, 2020, 28 (01): : 125 - 132
  • [47] On the complexity of elementary modal logics
    Hemaspaandra, Edith
    Schnoor, Henning
    STACS 2008: PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2008, : 349 - 360
  • [48] Tableau Metatheorem for Modal Logics
    Jarmuzek, Tomasz
    RECENT TRENDS IN PHILOSOPHICAL LOGIC, 2014, 41 : 103 - 126
  • [49] Fusions of modal logics revisited
    Wolter, F
    ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 361 - 379
  • [50] On a family of decidable modal logics
    Kravtsov, AG
    RUSSIAN MATHEMATICAL SURVEYS, 2002, 57 (04) : 809 - 810
12345