On logic of knowledge with justifications - Artemov, S; Kazakov, E; Shapiro, D (Cornell University, 1999)