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