Workshop on Proof Theory, Modal Logic and Reflection Principles
October 17, 2017 10:35, Moscow, Steklov Mathematical Institute