Intuitionistic Logic As Epistemic Logic

Jaakko Hintikka. Intuitionistic Logic As Epistemic Logic. Synthese, 127(1-2):7-19, 2001. [doi]