Course by T. L. Yavorskaya "Justification logic"
February 21, 2023 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina) + online