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
. Here are your
.
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!
Exam