No title
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 follows we outline an answer to (2) and give a model-theoretic definition of the operator $K$. This will shed some light also on (1), since it turns out that $K$, defined as we do, fulfills the properties
