Sequent Calculus for Intuitionistic Epistemic Logic IEL.

Vladimir N. Krupski, Alexey Yatmanov

Browse the full LFCS paper archive.