Rooted Hypersequent Calculus for Modal Logic S5

被引：0
|
作者：
Hamzeh Mohammadi
Mojtaba Aghaei
机构：
[1] Isfahan University of Technology,Department of Mathematical Sciences
来源：
Logica Universalis | 2023年 / 17卷
关键词：
Proof theory; Hypersequent calculus; Cut-elimination; Modal logic S5; Primary 03F03; Secondary 03F05; 03B45;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We present a rooted hypersequent calculus for modal propositional logic S5. We show that all rules of this calculus are invertible and that the rules of weakening, contraction, and cut are admissible. Soundness and completeness are established as well.
引用
收藏
页码：269 / 295
页数：26
相关论文
共 50 条
  • [1] Rooted Hypersequent Calculus for Modal Logic S5
    Mohammadi, Hamzeh
    Aghaei, Mojtaba
    [J]. LOGICA UNIVERSALIS, 2023, 17 (03) : 269 - 295
  • [2] ON A MULTILATTICE ANALOGUE OF A HYPERSEQUENT S5 CALCULUS
    Grigoriev, Oleg
    Petrukhin, Yaroslav
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2019, 28 (04) : 683 - 730
  • [3] On Modal μ-Calculus in S5 and Applications
    D'Agostino, Giovanna
    Lenzi, Giacomo
    [J]. FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 465 - 482
  • [4] A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
    Poggiolesi, Francesca
    [J]. REVIEW OF SYMBOLIC LOGIC, 2008, 1 (01): : 3 - 15
  • [5] 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
  • [6] 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
  • [7] Sequent Calculi for the Modal μ-Calculus over S5
    Alberucci, Luca
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 971 - 985
  • [8] Evidence reconstruction of epistemic modal logic S5
    Rubtsova, Natalia
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 313 - 321
  • [9] A deep inference system for the modal logic S5
    Stouppa P.
    [J]. Studia Logica, 2007, 85 (2) : 199 - 214
  • [10] HYPERSEQUENT CALCULI FOR S5: The methods of cut elimination
    Bednarska, Kaja
    Indrzejczak, Andrzej
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (03) : 277 - 311
12345