A LABELLED SEQUENT CALCULUS FOR HALF-ORDER MODAL LOGIC

被引:0
|
作者
Alonderis, Romas [1 ]
Sakauskaite, Jurate [1 ]
机构
[1] Vilnius Univ, Inst Data Sci & Digital Technol, Akad 4, LT-2600 Vilnius, Lithuania
来源
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | 2018年 / 5卷 / 01期
关键词
half-order modal logic; sequent calculus; admissibility of cut and structural rules; decidability;
D O I
暂无
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
We introduce the labelled Gentzen-type structural rules and cut-free sequent calculus GHOML for the half-order modal logic without function symbols and prove that the calculus is sound and complete for the logic. Using syntactic methods, we prove that the structural and cut rules are admissible in GHOML. The obtained calculus enables us to present a decision procedure for the half-order modal logic considered.
引用
收藏
页码:121 / 163
页数:43
相关论文
共 50 条
  • [21] Gentzen-type sequent calculus for modal logic S5
    Alonderis, R.
    Giedra, H.
    LOGIC JOURNAL OF THE IGPL, 2025,
  • [22] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
    Figallo, Martin
    STUDIA LOGICA, 2021, 109 (06) : 1347 - 1373
  • [23] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
    Martín Figallo
    Studia Logica, 2021, 109 : 1347 - 1373
  • [24] A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
    Poggiolesi, Francesca
    REVIEW OF SYMBOLIC LOGIC, 2009, 2 (04): : 593 - 611
  • [25] A Nonmonotonic Modal Relevant Sequent Calculus
    Shimamura, Shuhei
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 570 - 584
  • [26] A PERSPECTIVE ON MODAL SEQUENT LOGIC
    BLAMEY, S
    HUMBERSTONE, L
    PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1991, 27 (05) : 763 - 782
  • [27] A sequent calculus for first-order logic formalized in Isabelle/HOL
    From, Asta Halkjaer
    Schlichtkrull, Anders
    Villadsen, Jorgen
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (04) : 818 - 836
  • [28] Sequent calculus for classical logic probabilized
    Boricic, Marija
    ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 119 - 136
  • [29] A dual-context sequent calculus for the constructive modal logic S4
    Ezequiel Miranda-Perea, Favio
    Gonzalez Huesca, Lourdes del Carmen
    Arevalo, Pilar Selene Linares
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (09) : 1205 - 1233
  • [30] A sequent calculus for skeptical default logic
    Bonatti, PA
    Olivetti, N
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 107 - 121