The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...