Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 16:40, Moscow, Steklov Mathematical Institute