Dr. Roman Kuznets

Picture of Dr. Roman Kuznets
Research within LTG:
Publications: List of Publications
justification logic, structural proof theory, dynamic epistemic logic, nested sequents