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 条

[41] THE SEQUENT CALCULUS FOR THE MODAL LOGIC-D
VALENTINI, S
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1993, 7A (03): : 455 - 460
[42] Formula size games for modal logic and μ-calculus
Hella, Lauri T.
Vilander, Miikka S.
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (08) : 1311 - 1344
[43] LOOP-FREE CALCULUS FOR MODAL LOGIC S4. I
Andrikonis, Julius
[J]. LITHUANIAN MATHEMATICAL JOURNAL, 2012, 52 (01) : 1 - 12
[44] Loop-free calculus for modal logic S4. II
Julius Andrikonis
[J]. Lithuanian Mathematical Journal, 2012, 52 : 123 - 133
[45] Loop-free calculus for modal logic S4. I
Julius Andrikonis
[J]. Lithuanian Mathematical Journal, 2012, 52 : 1 - 12
[46] SHEFFER FUNCTIONS FOR MANY-VALUED S5 MODAL LOGICS
MASSEY, GJ
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (02): : 101 - &
[47] THE ALGEBRAIC AND KRIPKE'S SEMANTICS FOR QUANTIFIED MODAL SYSTEMS——THE CASE CONCERNING S5
高恒珊
[J]. Science Bulletin, 1987, (13) : 870 - 872
[48] One Calculus of Nonderivable Formulas of Propositional Modal Logic
S. Norgėla
[J]. Lithuanian Mathematical Journal, 2003, 43 (1) : 56 - 66
[49] Loop-free calculus for modal logic . II
Andrikonis, Julius
[J]. LITHUANIAN MATHEMATICAL JOURNAL, 2012, 52 (02) : 123 - 133
[50] A Tableau Calculus for a Multi-modal Logic of Dishonesty
Pavlovic, Sanja
Tompits, Hans
[J]. AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 238 - 251

← 1 2 3 4 5 →