Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4

被引：0
|
作者：
L. L. Maksimova
V. F. Yun
机构：
[1] Sobolev Institute of Mathematics,
来源：
Siberian Mathematical Journal | 2022年 / 63卷
关键词：
modal logic; interpolation; decidability; recognizability; nonclassical logics; amalgamation; characteristic formulas; 510.64;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We consider the restricted interpolation property IPR in modal logics. Earlier, the decidability of IPR over the modal logic S4 was proved and a finite list was found that contains all logics that can possess IPR over S4. However, this list contains some undue logics. The present article gives examples of the logics.
引用
收藏
页码：286 / 298
页数：12
相关论文
共 50 条
12345