Sequent Calculus for Intuitionistic Epistemic Logic. - Vladimir N. Krupski; Alexey Yatmanov (CoRR, 2015)

Sequent Calculus for Intuitionistic Epistemic Logic IEL. - Vladimir N. Krupski; Alexey Yatmanov (LFCS, 2016)