Introducing Justification into Epistemic Logic.

Sergei N. Artëmov Elena Nogina Introducing Justification into Epistemic Logic. 1059-1073 2005 15 J. Log. Comput. 6 http://dx.doi.org/10.1093/logcom/exi053 db/journals/logcom/logcom15.html#ArtemovN05