Multi-Modal Logic

To this page I will upload the slides for my NASSLLI 2016 course on multimodal logic—provided that the gods of hardware and the internet will continue to smile upon me. Each set of slides will be uploaded after I have finished lecturing about it.

Here is a text that I started writing about the material for the course. Warning: it is a bit older than the slides and I have changed some of the tableau rules in the meantime. It is also incomplete (the conditional modalities part still needs to be added), but may still be useful. The chapter on simple type theory (based upon an encyclopedia entry I once wrote) is an extra—we will not have time to discuss it.