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-Hayting-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.
CITATION STYLE
Krupski, V. N., & Yatmanov, A. (2016). Sequent calculus for intuitionistic epistemic logic IEL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9537, pp. 187–201). Springer Verlag. https://doi.org/10.1007/978-3-319-27683-0_14
Mendeley helps you to discover research relevant for your work.