Description: Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.