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 条
  • [1] Interpolation in weakly transitive modal logics
    Karpenko, A. V.
    ALGEBRA AND LOGIC, 2012, 51 (02) : 131 - 143
  • [2] On transitive modal many-valued logics
    Vidal, Amandaa
    FUZZY SETS AND SYSTEMS, 2021, 407 : 97 - 114
  • [3] Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
    Orlandelli, Eugenio
    LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (01) : 139 - 183
  • [4] Local Intuitionistic Modal Logics and Their Calculi
    Balbiani, Philippe
    Gao, Han
    Gencer, Cigdem
    Olivetti, Nicola
    AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 78 - 96
  • [5] Modal Information Logics: Axiomatizations and Decidability
    Søren Brinck Knudstorp
    Journal of Philosophical Logic, 2023, 52 : 1723 - 1766
  • [6] Modal Information Logics: Axiomatizations and Decidability
    Knudstorp, Soren Brinck
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (06) : 1723 - 1766
  • [7] Modal Logics are Coalgebraic
    Cirstea, Corina
    Kurz, Alexander
    Pattinson, Dirk
    Schroeder, Lutz
    Venema, Yde
    COMPUTER JOURNAL, 2011, 54 (01) : 31 - 41
  • [8] STABLE MODAL LOGICS
    Bezhanishvili, Guram
    Bezhanishvili, Nick
    Ilin, Julia
    REVIEW OF SYMBOLIC LOGIC, 2018, 11 (03) : 436 - 469
  • [9] Products of modal logics. Part 3: Products of modal and temporal logics
    Gabbay D.
    Shehtman V.
    Studia Logica, 2002, 72 (2) : 157 - 183
  • [10] Complexity of hybrid logics over transitive frames
    Mundhenk, Martin
    Schneider, Thomas
    Schwentick, Thomas
    Weber, Volker
    JOURNAL OF APPLIED LOGIC, 2010, 8 (04) : 422 - 440
12345