Carlo Proietti. Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox. J. Philosophical Logic, 41(5):877-900, 2012. [doi]
@article{Proietti12, title = {Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox}, author = {Carlo Proietti}, year = {2012}, doi = {10.1007/s10992-011-9207-1}, url = {http://dx.doi.org/10.1007/s10992-011-9207-1}, researchr = {https://researchr.org/publication/Proietti12}, cites = {0}, citedby = {0}, journal = {J. Philosophical Logic}, volume = {41}, number = {5}, pages = {877-900}, }