Interpolation in weakly transitive modal logics

被引：0
|
作者：
A. V. Karpenko
机构：
[1] Novosibirsk State University,
来源：
Algebra and Logic | 2012年 / 51卷
关键词：
weakly transitive modal logics; -logics; decidability; axiomatization; interpolation property; amalgamability;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We construct an axiomatization for 16 extensions of the logic DL possessing the deductive interpolation property (IPD). It is proved that the weak interpolation property (WIP) is decidable in weakly transitive modal logics. Likewise, the weak amalgamation property is proved decidable for varieties of weakly transitive modal algebras.
引用
收藏
页码：131 / 143
页数：12
相关论文
共 50 条
  • [41] On the incompleteness of modal logics of space: Advancing complete modal logics of place
    Lemon, O
    Pratt, I
    ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 115 - 132
  • [42] On interpolation in existence logics
    Baaz, M
    Iemhoff, R
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 697 - 711
  • [43] Temporal logics over transitive states
    Konev, B
    Wolter, R
    Zakharyaschev, M
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 182 - 203
  • [44] Paraconsistent Modal Logics
    Rivieccio, Umberto
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 173 - 186
  • [45] Duality for modal μ-logics
    Hartonas, C
    THEORETICAL COMPUTER SCIENCE, 1998, 202 (1-2) : 193 - 222
  • [46] Modal Logics are Coalgebraic
    Cirstea, Corina
    Kurz, Alexander
    Pattinson, Dirk
    Schroeder, Lutz
    Venema, Yde
    COMPUTER JOURNAL, 2011, 54 (01): : 31 - 41
  • [47] Fuzzy modal logics
    Mironov A.M.
    Journal of Mathematical Sciences, 2005, 128 (6) : 3461 - 3483
  • [48] Connected modal logics
    Guram Bezhanishvili
    David Gabelaia
    Archive for Mathematical Logic, 2011, 50 : 287 - 317
  • [49] The weakly chain transitive maps
    Meng, Xin
    RESEARCH IN MATERIALS AND MANUFACTURING TECHNOLOGIES, PTS 1-3, 2014, 835-836 : 1836 - 1839
  • [50] Symmetries in Modal Logics
    Areces, Carlos
    Hoffmann, Guillaume
    Orbe, Ezequiel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (113): : 27 - 44
12345