Searching for authors named "Roman Kuznets" – sorted by Relevance.
-
Logical omniscience via proof complexity
- Logical Omniscience via Proof Complexity Sergei Artemov and Roman Kuznets ⋆ CUNY Graduate Center
- Cited by 4 (3 self) – Add To MetaCart
-
The NP-Completeness of Reflected Fragments of Justification Logics
- The NP-Completeness of Reflected Fragments of Justification Logics Samuel R. Buss 1,⋆ and Roman
- Cited by 1 (1 self) – Add To MetaCart
-
Lower Complexity Bounds in Justification Logic
- Lower Complexity Bounds in Justification Logic Samuel R. Buss a,1 , Roman Kuznets ∗,b,2 a
- Add To MetaCart

