  Intuitionistic epistemic logic introduces an epistemic operator, which
reflects the intended BHK semantics of intuitionism, to intuitionistic logic.
The fundamental assumption concerning intuitionistic knowledge and belief is
that it is the product of verification. The BHK interpretation of
intuitionistic logic has a precise formulation in the Logic of Proofs and its
arithmetical semantics. We show here that this interpretation can be extended
to the notion of verification upon which intuitionistic knowledge is based,
thereby providing the systems of intuitionistic epistemic logic extended by an
epistemic operator based on verification with an arithmetical semantics too.
