Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic.

Christian Hagemeier, Dominik Kirst

Browse the full LFCS paper archive.