Elena Nogina

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Computational Properties

Cut Elimination

Top Venues

Publications

Elena Nogina
On Logic of Formal Provability and Explicit Proofs. CoRR (2014)
Sergei N. Artëmov, Elena Nogina
Topological Semantics of Justification Logic. CSR (2008)
Sergei N. Artëmov, Elena Nogina
Introducing Justification into Epistemic Logic. J. Log. Comput. 15 (6) (2005)
Sergei N. Artëmov, Elena Nogina
On epistemic logic with justification. TARK (2005)