A CUT-FREE SEQUENTIAL SYSTEM FOR THE PROPOSITIONAL MODAL LOGIC OF FINITE CHAINS

被引：1

|

作者：

NISHIMURA, H

机构：

来源：

PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES | 1983年 / 19卷 / 01期

关键词：

D O I：

10.2977/prims/1195182989

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：305 / 316

页数：12

相关论文

共 50 条

[1] Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse
Gore, Rajeev
Widmann, Florian
AUTOMATED REASONING, 2010, 6173 : 225 - 239
[2] Uniqueness of axiomatic extensions of cut-free classical propositional logic
Piazza, Mario
Pulcini, Gabriele
LOGIC JOURNAL OF THE IGPL, 2016, 24 (05) : 708 - 718
[3] A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Brian Hill
Francesca Poggiolesi
Studia Logica, 2010, 94 : 47 - 72
[4] A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Hill, B.
Poggiolesi, F.
STUDIA LOGICA, 2010, 94 (01) : 47 - 72
[5] CUT-FREE GENTZEN-TYPE SYSTEM FOR THE MODAL LOGIC S5
SATO, M
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 67 - 84
[6] A cut-free sequent system for two-dimensional modal logic, and why it matters
Restall, Greg
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (11) : 1611 - 1623
[7] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Martín Figallo
Studia Logica, 2021, 109 : 1347 - 1373
[8] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Figallo, Martin
STUDIA LOGICA, 2021, 109 (06) : 1347 - 1373
[9] A cut-free sequent system for the smallest interpretability logic
Sasaki K.
Studia Logica, 2002, 70 (3) : 353 - 372
[10] 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

← 1 2 3 4 5 →