First-order intuitionistic epistemic logic

DOI10.1007/978-3-662-60292-8_24OpenAlexW2980134722MaRDI QIDQ2291248FDOQ2291248

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

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

zbMATH Keywords

epistemic logicintuitionistic logiccut eliminationsequent calculusCraig interpolationBHK interpretation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)