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 条
12345