Roman Kuznets is a contemporary logician and computer scientist specializing in justification logic, proof theory, and the computational complexity of modal and epistemic logics. He has made significant contributions to understanding the complexity-theoretic properties of justification logic systems, particularly in relation to the realization of modal logics.
Established complexity bounds for justification logic systems
Advanced the realization theorem connecting justification logic and modal logic
Contributed to the theory of explicit proofs and proof polynomials
Research on the computational cost of internalizing logical knowledge