Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox

Carlo Proietti. Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox. J. Philosophical Logic, 41(5):877-900, 2012. [doi]

Abstract

Abstract is missing.