On intuitionistic modal epistemic logic (1992)

by T Williamson
Venue:Journal of Philosophical Logic