On epistemic logic with justification. - Sergei N. Artëmov; Elena Nogina (TARK, 2005)

Introducing Justification into Epistemic Logic. - Sergei N. Artëmov; Elena Nogina (J. Log. Comput., 2005)

Topological Semantics of Justification Logic. - Sergei N. Artëmov; Elena Nogina (CSR, 2008)

On Logic of Formal Provability and Explicit Proofs. - Elena Nogina (CoRR, 2014)