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

← 1 2 3 4 5 →