| |
| 2009 | ||
|---|---|---|
| 6 | EE | Samuel R. Buss, Roman Kuznets: The NP-Completeness of Reflected Fragments of Justification Logics. LFCS 2009: 122-136 |
| 2008 | ||
| 5 | EE | Roman Kuznets: Self-referentiality of Justified Knowledge. CSR 2008: 228-239 |
| 2007 | ||
| 4 | EE | Roman Kuznets: Proof Identity for Classical Logic: Generalizing to Normality. LFCS 2007: 332-348 |
| 2006 | ||
| 3 | EE | Sergei N. Artëmov, Roman Kuznets: Logical Omniscience Via Proof Complexity. CSL 2006: 135-149 |
| 2 | EE | Vladimir Brezhnev, Roman Kuznets: Making knowledge explicit: How hard it is. Theor. Comput. Sci. 357(1-3): 23-34 (2006) |
| 2000 | ||
| 1 | EE | Roman Kuznets: On the Complexity of Explicit Modal Logics. CSL 2000: 371-383 |
| 1 | Sergei N. Artëmov | [3] |
| 2 | Vladimir Brezhnev | [2] |
| 3 | Samuel R. Buss | [6] |