Sequent Calculus for Intuitionistic Epistemic Logic IEL

DOI10.1007/978-3-319-27683-0_14zbMath1476.03014arXiv1508.07851OpenAlexW2201994833MaRDI QIDQ5283428

Alexey Yatmanov, Vladimir Nikolaevich Krupskiĭ

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.07851

zbMATH Keywords

modal logicsequent calculuscut-eliminationPSPACEintuitionistic epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Constructive knowledge and the justified true belief paradigm ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Linear depth deduction with subformula property for intuitionistic epistemic logic ⋮ INTUITIONISTIC EPISTEMIC LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On intuitionistic modal epistemic logic
• Intuitionistic propositional logic is polynomial-space complete
• The Church-Fitch knowability paradox in the light of structural proof theory
• Typing in reflective combinatory logic
• Alternation
• INTUITIONISTIC EPISTEMIC LOGIC

This page was built for publication: Sequent Calculus for Intuitionistic Epistemic Logic IEL