First-order intuitionistic epistemic logic

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

Katsuhiko Sano, Youan Su

Publication date: 30 January 2020

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

zbMATH Keywords

cut eliminationsequent calculusintuitionistic logicCraig interpolationepistemic logicBHK interpretation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (4)

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

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