CUT-FREE GENTZEN-TYPE SYSTEM FOR THE MODAL LOGIC S5

被引：11

|

作者：

SATO, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1980年 / 45卷 / 01期

关键词：

D O I：

10.2307/2273355

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：67 / 84

页数：18

相关论文

共 50 条

[1] A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
Poggiolesi, Francesca
[J]. REVIEW OF SYMBOLIC LOGIC, 2008, 1 (01): : 3 - 15
[2] Tractability of Cut-free Gentzen-type propositional calculus with permutation inference II
Arai, NH
[J]. THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 185 - 197
[3] Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5
Gore, Rajeev
Tiu, Alwen
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 767 - 794
[4] GENTZEN-TYPE CALCULI FOR MODAL LOGIC S4 WITH BARCAN FORMULA
PLIUSKEVICIENE, A
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 381 - 390
[5] A CUT-FREE SEQUENTIAL SYSTEM FOR THE PROPOSITIONAL MODAL LOGIC OF FINITE CHAINS
NISHIMURA, H
[J]. PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1983, 19 (01) : 305 - 316
[6] Cut-free Gentzen calculus for multimodal CK
Mendler, Michael
Scheele, Stephan
[J]. INFORMATION AND COMPUTATION, 2011, 209 (12) : 1465 - 1490
[7] A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic
Wirsing, Martin
Knapp, Alexander
[J]. LOGIC JOURNAL OF THE IGPL, 2023, 31 (06) : 1047 - 1068
[8] Tractability of cut-free Gentzen type propositional calculus with permutation inference
Arai, NH
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 129 - 144
[9] Cut-Free Gentzen Sequent Calculi for Tense Logics
Lin, Zhe
Ma, Minghui
[J]. AXIOMS, 2023, 12 (07)
[10] A Cut-Free Gentzen Formulation of Basic Propositional Calculus
Kentaro Kikuchi
Katsumi Sasaki
[J]. Journal of Logic, Language and Information, 2003, 12 (2) : 213 - 225

← 1 2 3 4 5 →