Introduction to modal logic


Official course description

During the 8 lecture we will introduce some of the basic concepts of modal logic, roughly in the following order:
  1. Basic logic and semantics
  2. Bisimulation and definability
  3. Axiomatic systems and frame correspondence
  4. Completness proof
  5. Standard Translation
  6. Poly-modal languages
  7. Modal predicate logic


The notions are relatively standard and there are many good textbooks on the market as well as a lot of free material accessible on-line. Below we list some of our favourites. Especially, read the first 3 chapters of Blackburn and van Benthem and notes by Rosalie Iemhoff, excluding ch. 3, 8.2-8.5, and 10.


Assignments will successively appear here on Fridays. You're supposed to hand in solutions the next Friday (week later) during the practice session. Here is "A guide for making proofs". Here are your current results including the first exam.


The exam will cover the most important notions discussed in classes (points 1-5): semantics for the basic modal language; bisimulation; provability and validity in various modal logics (K, T, K4, S4, S5), first-order standard translation, frame correspondence, and (un)definability. The exam's problems will be very similar to those you had to solve in your homeworks. Then the best way to prepare for the exam is by understanding solutions to the homeworks' problems and familiarizing yourself with the material and examples presented in the first chapters of Blackburn and van Benthem as well as notes and exercises by Rosalie Iemhoff. Finally, this is not and open book exam!