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 条
  • [1] A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
    Poggiolesi, Francesca
    [J]. REVIEW OF SYMBOLIC LOGIC, 2008, 1 (01): : 3 - 15
  • [2] On Modal μ-Calculus in S5 and Applications
    D'Agostino, Giovanna
    Lenzi, Giacomo
    [J]. FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 465 - 482
  • [3] Rooted Hypersequent Calculus for Modal Logic S5
    Mohammadi, Hamzeh
    Aghaei, Mojtaba
    [J]. LOGICA UNIVERSALIS, 2023, 17 (03) : 269 - 295
  • [4] Rooted Hypersequent Calculus for Modal Logic S5
    Hamzeh Mohammadi
    Mojtaba Aghaei
    [J]. Logica Universalis, 2023, 17 : 269 - 295
  • [5] Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
    Lellmann, Bjoern
    Pattinson, Dirk
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 219 - 233
  • [6] Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5
    Gore, Rajeev
    Tiu, Alwen
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 767 - 794
  • [7] Graphical Sequent Calculi for Modal Logics
    Ma, Minghui
    Pietarinen, Ahti-Veikko
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (243): : 91 - 103
  • [8] A Nonmonotonic Modal Relevant Sequent Calculus
    Shimamura, Shuhei
    [J]. LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 570 - 584
  • [9] A SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
    VALENTINI, S
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 707 - 708
  • [10] Modular Sequent Calculi for Classical Modal Logics
    Gilbert, David R.
    Maffezioli, Paolo
    [J]. STUDIA LOGICA, 2015, 103 (01) : 175 - 217
12345