Loop-free calculus for modal logic S4. II

被引：0
作者：
Julius Andrikonis
机构：
[1] Vilnius University,Faculty of Mathematics and Informatics
来源：
Lithuanian Mathematical Journal | 2012年 / 52卷
关键词：
03B45; modal logic; loop-free calculus; sequent calculus;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In [J. Andrikonis, Loop-free calculus for modal logic S4. I, Lith. Math. J., 52(1):1–12, 2012], loop-free calculus for modal logic S4 is presented. The calculus uses several types of indexes to avoid loops and obtain termination of derivation search. Although the mentioned article proves that derivation search in the calculus is finite, the proof of soundness and completeness is omitted and, therefore, is presented in this paper. Moreover, this paper presents loop-free calculus for modal logics K4, which is obtained by modifying the calculus for S4. Finally, some remarks for programming the given calculi are offered.
引用
收藏
页码：123 / 133
页数：10
相关论文
共 2 条
[1]  
Andrikonis J(2012)Loop-free calculus for modal logic I, Lith. Math. J. 52 1-12
[2]  
Leszczyńska-Jasion D(2009)A loop-free decision procedure for modal propositional logics K4, S4, and S5 J. Philos. Log. 38 151-177
1