Course page for ESSLLI 2017

Post date: Jul 14, 2017 9:08:14 AM

Lutz Straßburger and I are teaching a course at ESSLLI 2017 on efficient proof systems for modal logics. The ESSLLI page of the course can be found here. However, we decided it would be easier to post the materials and updates on the following page: https://www.lix.polytechnique.fr/~lutz/orgs/ESSLLI2017-course.html. See you in Toulouse!