First-order intuitionistic epistemic logic

DOI10.1007/978-3-662-60292-8_24MaRDI QIDQ2291248zbMATH OpenOpenAlexFDO

Authors Youan Su, Katsuhiko Sano

Publication date 30 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-60292-8_24

zbMATH Keywords

epistemic logicintuitionistic logiccut eliminationsequent calculusCraig interpolationBHK interpretation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Cut-free and analytic sequent calculus of intuitionistic epistemic logic
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
• Cut elimination and complexity bounds for intuitionistic epistemic logic
• Constructive and mechanised meta-theory of intuitionistic epistemic logic

Cited in

(6)

• INTUITIONISTIC EPISTEMIC LOGIC
• Intuitionistic logic as epistemic logic
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• Linear depth deduction with subformula property for intuitionistic epistemic logic
• Constructive and mechanised meta-theory of intuitionistic epistemic logic
• On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge

This page was built for publication: First-order intuitionistic epistemic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291248)