Cut elimination and complexity bounds for intuitionistic epistemic logic

被引：1

作者：

Krupski, Vladimir N. ^{[1
]}

机构：

[1] Lomonosov Moscow State Univ, Fac Mech & Math, Moscow 119991, Russia

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2020年 / 30卷 / 01期

关键词：

Modal logic; intuitionistic epistemic logic; sequent calculus; cut-elimination; PSPACE;

D O I：

10.1093/logcom/exaa012

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The formal system of intuitionistic epistemic logic (IEL) was proposed by S. Artemov and T. Protopopescu. It provides the formal foundation for the study of knowledge from an intuitionistic point of view based on Brouwer-Heyting-Kolmogorov semantics of intuitionism. We construct a cut-free sequent calculus for IEL and establish that polynomial space is sufficient for the proof search in it. We prove that IEL is PSPACE-complete.

引用

页码：281 / 294

页数：14

共 50 条

[1] A cut-elimination proof in intuitionistic predicate logic
Borisavljevic, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1999, 99 (1-3) : 105 - 136
[2] COMPLETENESS AND CUT-ELIMINATION IN INTUITIONISTIC TYPE LOGIC
OSSWALD, H
[J]. MANUSCRIPTA MATHEMATICA, 1972, 6 (01) : 17 - &
[3] Intuitionistic Logic As Epistemic Logic
Jaakko Hintikka
[J]. Synthese, 2001, 127 : 7 - 19
[4] Intuitionistic logic as epistemic logic
Hintikka, J
[J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
[5] INTUITIONISTIC EPISTEMIC LOGIC
Artemov, Sergei
Protopopescu, Tudor
[J]. REVIEW OF SYMBOLIC LOGIC, 2016, 9 (02): : 266 - 298
[6] Structural cut elimination I. Intuitionistic and classical logic
Pfenning, F
[J]. INFORMATION AND COMPUTATION, 2000, 157 (1-2) : 84 - 141
[7] On the computational complexity of cut-elimination in linear logic
Mairson, HG
Terui, K
[J]. THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 23 - 36
[8] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
WILLIAMSON, T
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
[9] Bitopological models of intuitionistic epistemic logic
Onoprienko, A. A.
[J]. RUSSIAN MATHEMATICAL SURVEYS, 2024, 79 (01)
[10] Intuitionistic Epistemic Logic with Distributed Knowledge
Murai, Ryo
Sano, Katsuhiko
[J]. COMPUTACION Y SISTEMAS, 2022, 26 (02): : 823 - 834

← 1 2 3 4 5 →