Searching for authors named "Roman Kuznets" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
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
Showing 1 through 3.
