1. Logic of proofs;Artëmov;Ann. Pure Appl. Logic,1994
2. Explicit provability and constructive semantics;Artemov;Bull. Symbolic Logic,2001
3. Justified common knowledge;Artemov;Theoret. Comput. Sci.,2006
4. The logic of justification;Artemov;Rev. Symb. Log.,2008
5. Why do we need Justification Logic?;Artemov,2011