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 条
  • [21] Completeness for flat modal fixpoint logics
    Santocanale, Luigi
    Venema, Yde
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 162 (01) : 55 - 82
  • [22] Squares of modal logics with additional connectives
    Shehtman, V. B.
    RUSSIAN MATHEMATICAL SURVEYS, 2012, 67 (04) : 721 - 777
  • [23] On squares of modal logics with additional connectives
    Shehtman, V. B.
    PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 317 - 325
  • [24] Interpolation properties for provability logics GL and GLP
    Shamkanov, Daniyar S.
    PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 303 - 316
  • [25] Craig's Interpolation Property in Pretabular Logics
    Maksimova, L. L.
    Yun, V. F.
    SIBERIAN MATHEMATICAL JOURNAL, 2024, 65 (02) : 344 - 350
  • [26] Interpolation properties for provability logics GL and GLP
    Daniyar S. Shamkanov
    Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 303 - 316
  • [27] On Graph Calculi for Multi-modal Logics
    Veloso, Paulo A. S.
    Veloso, Sheila R. M.
    Benevides, Mario R. F.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 231 - 252
  • [28] Decidability of order-based modal logics
    Caicedo, Xavier
    Metcalfe, George
    Rodriguez, Ricardo
    Rogger, Jonas
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 88 : 53 - 74
  • [29] Decidability of Quasi-Dense Modal Logics
    Ostropolski-Nalewaja, Piotr
    Lyon, Tim S.
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [30] On the Beth properties of some intuitionistic modal logics
    C. Luppi
    Archive for Mathematical Logic, 2002, 41 : 443 - 454
12345