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] Modal Logics Definable by Universal Three-Variable Formulas
    Kieronski, Emanuel
    Michaliszyn, Jakub
    Otop, Jan
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2011), 2011, 13 : 264 - 275
  • [42] Countermodels from Sequent Calculi in Multi-Modal Logics
    Garg, Deepak
    Genovese, Valerio
    Negri, Sara
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 315 - 324
  • [43] On the finite model property of intuitionistic modal logics over MIPC
    Aoto, T
    Shirasu, H
    MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (04) : 435 - 448
  • [44] The Interpolation Problem in Finite-Layered Pre-Heyting Logics
    Maksimova, L. L.
    Yun, V. F.
    ALGEBRA AND LOGIC, 2019, 58 (02) : 144 - 157
  • [45] On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
    Caleiro, Carlos
    Vigano, Luca
    Volpe, Marco
    LOGICA UNIVERSALIS, 2013, 7 (01) : 33 - 69
  • [46] MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM
    Moor, Michael Alexandrovich
    Rybakov, Vladimir Vladimirovich
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 829 - 838
  • [47] Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?
    Bednarczyk, Bartosz
    Demri, Stephane
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [48] UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
    Vidal, Amanda
    JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1576 - 1605
  • [49] Tree-sequent calculi and decision procedures for intuitionistic modal logics
    Galmiche, Didier
    Salhi, Yakoub
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 967 - 989
  • [50] Non-primitive recursive decidability of products of modal logics with expanding domains
    Gabelaia, D.
    Kurucz, A.
    Wolter, F.
    Zakharyaschev, A.
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 142 (1-3) : 245 - 268
12345