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 条

[41] A labelled sequent-calculus for observation logic
Brunet, O
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 17 - 31
[42] A coding method for a sequent calculus of propositional logic
R. Alonderis
Lithuanian Mathematical Journal, 2008, 48 : 123 - 136
[43] A coding method for a sequent calculus of propositional logic
Alonderis, R.
LITHUANIAN MATHEMATICAL JOURNAL, 2008, 48 (02) : 123 - 136
[44] A tutorial on computational classical logic and the sequent calculus
Downen, Paul
Ariola, Zena M.
JOURNAL OF FUNCTIONAL PROGRAMMING, 2018, 28
[45] A modal provability logic of explicit and implicit proofs
Goris, Evan
ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 388 - 403
[46] Labeled sequent calculus for interval temporal logic
Hu, Chengjun
Wang, Ji
Chen, Huowang
Jisuanji Xuebao/Chinese Journal of Computers, 1999, 22 (11): : 1121 - 1126
[47] A Sequent Calculus for First-Order Logic
Braselmann, Patrick
Koepke, Peter
FORMALIZED MATHEMATICS, 2005, 13 (01): : 33 - 39
[48] Sequent Calculus for Intuitionistic Epistemic Logic IEL
Krupski, Vladimir N.
Yatmanov, Alexey
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 187 - 201
[49] LOGIC AND MEANING - THE PHILOSOPHICAL SIGNIFICANCE OF THE SEQUENT CALCULUS
KREMER, M
MIND, 1988, 97 (385) : 50 - 72
[50] A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic
Vedran Čačić
Domagoj Vrgoč
Studia Logica, 2013, 101 : 31 - 44

← 1 2 3 4 5 →