A SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY

被引：0

|

作者：

VALENTINI, S

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：707 / 708

页数：2

相关论文

共 50 条

[31] Sequent calculus for classical logic probabilized
Marija Boričić
Archive for Mathematical Logic, 2019, 58 : 119 - 136
[32] Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Martín Figallo
Studia Logica, 2022, 110 : 879 - 879
[33] SEQUENT-SYSTEMS FOR MODAL LOGIC
DOSEN, K
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 149 - 168
[34] Deep sequent systems for modal logic
Kai Brünnler
Archive for Mathematical Logic, 2009, 48 : 551 - 577
[35] Deep sequent systems for modal logic
Bruennler, Kai
ARCHIVE FOR MATHEMATICAL LOGIC, 2009, 48 (06) : 551 - 577
[36] SEQUENT-SYSTEMS FOR MODAL LOGIC
DOSEN, K
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 689 - 689
[37] Modular Sequent Systems for Modal Logic
Bruennler, Kai
Strassburger, Lutz
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 152 - +
[38] THE MODAL LOGIC OF PROVABILITY, CUT-ELIMINATION
VALENTINI, S
JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (04) : 471 - 476
[39] ON THE PROOF THEORY OF THE MODAL LOGIC FOR ARITHMETIC PROVABILITY
LEIVANT, D
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 531 - 538
[40] A sequent calculus for propositional dynamic logic for agents
Sakalauskaitė J.
Lithuanian Mathematical Journal, 2004, 44 (3) : 244 - 250

← 1 2 3 4 5 →