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 条
  • [31] Countermodels from Sequent Calculi in Multi-Modal Logics
    Garg, Deepak
    Genovese, Valerio
    Negri, Sara
    [J]. 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 315 - 324
  • [32] HYPERSEQUENT CALCULI FOR S5: The methods of cut elimination
    Bednarska, Kaja
    Indrzejczak, Andrzej
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (03) : 277 - 311
  • [33] A dual-context sequent calculus for the constructive modal logic S4
    Ezequiel Miranda-Perea, Favio
    Gonzalez Huesca, Lourdes del Carmen
    Arevalo, Pilar Selene Linares
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (09) : 1205 - 1233
  • [34] Knowledge Compilation in the Modal Logic S5
    Bienvenu, Meghyn
    Fargier, Helene
    Marquis, Pierre
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 261 - 266
  • [35] On Satisfiability Problem in Modal Logic S5
    Salhi, Yakoub
    [J]. PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 948 - 955
  • [36] On fuzzy modal logics S5(C)
    Hajek, Petr
    [J]. FUZZY SETS AND SYSTEMS, 2010, 161 (18) : 2389 - 2396
  • [37] Tree-sequent calculi and decision procedures for intuitionistic modal logics
    Galmiche, Didier
    Salhi, Yakoub
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 967 - 989
  • [38] A labelled sequent calculus for half-order modal logic
    Alonderis, Romas
    Sakauskaitė, Jūratė
    [J]. Journal of Applied Logics, 2018, 5 (01): : 121 - 164
  • [39] A LABELLED SEQUENT CALCULUS FOR HALF-ORDER MODAL LOGIC
    Alonderis, Romas
    Sakauskaite, Jurate
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (01): : 121 - 163
  • [40] Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
    Orlandelli, Eugenio
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (01) : 139 - 183
12345