Sequent Calculi for the Modal μ-Calculus over S5

被引：3
|
作者：
Alberucci, Luca [1 ]
机构：
[1] Univ Bern, CH-3012 Bern, Switzerland
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2009年 / 19卷 / 06期
关键词：
Modal mu-calculus; modal logic; proof-theory; sequent calculus; completeness; COMPLETENESS;
D O I：
10.1093/logcom/exn106
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present two sequent calculi for the modal mu-calculus over S5 and prove their completeness by using classical methods. One sequent calculus has an analytical cut rule and could be used for a decision procedure the other uses a modified version of the induction rule. We also provide a completeness theorem for Kozen's Axiomatization over S5 without using the completeness result established by Walukiewicz for the modal mu-calculus over arbitrary models.
引用
收藏
页码：971 / 985
页数：15
相关论文
共 50 条
  • [11] Sequent Calculi for Global Modal Consequence Relations
    Ma, Minghui
    Chen, Jinsheng
    [J]. STUDIA LOGICA, 2019, 107 (04) : 613 - 637
  • [12] Uniform interpolation and sequent calculi in modal logic
    Iemhoff, Rosalie
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 155 - 181
  • [13] Sequent Calculi for Global Modal Consequence Relations
    Minghui Ma
    Jinsheng Chen
    [J]. Studia Logica, 2019, 107 : 613 - 637
  • [14] Labelled Sequent Calculi for Inquisitive Modal Logics
    Mueller, Valentin
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2024, 2024, 14672 : 122 - 139
  • [15] Uniform interpolation and sequent calculi in modal logic
    Rosalie Iemhoff
    [J]. Archive for Mathematical Logic, 2019, 58 : 155 - 181
  • [16] Modular Sequent Calculi for Classical Modal Logics
    David R. Gilbert
    Paolo Maffezioli
    [J]. Studia Logica, 2015, 103 : 175 - 217
  • [17] THE SEQUENT CALCULUS FOR THE MODAL LOGIC-D
    VALENTINI, S
    [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1993, 7A (03): : 455 - 460
  • [18] Labeled sequent calculi for modal logics and implicit contractions
    Pierluigi Minari
    [J]. Archive for Mathematical Logic, 2013, 52 : 881 - 907
  • [19] Gentzen sequent calculi for some intuitionistic modal logics
    Lin, Zhe
    Ma, Minghui
    [J]. LOGIC JOURNAL OF THE IGPL, 2019, 27 (04) : 596 - 623
  • [20] Terminating sequent calculi for two intuitionistic modal logics
    Iemhoff, Rosalie
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (07) : 1701 - 1712
12345