Inleiding Modale Logica / Introduction to Modal Logic (Fall 2007)

This class has finished. The 2008/2009 course will be taught by Dr. Alessandra Palmigiano.

Contents of these pages





Course material


Course Description

Modal logic

Modal languages are simple yet expressive and flexible tools for describing all kinds of relational structures. Thus modal logic finds applications in many disciplines such as computer science, mathematics, linguistics or economics. Notwithstanding this enormous diversity in appearance and application area, modal logics have a great number of properties in common. These form the subject of this course.

Course content

More specifically, we will cover the following material:

Course set-up

In the lectures we discuss the main ideas of the theory. You are then supposed to read the course material as indicated on the contents page, and to get acquainted with the material by doing the indicated exercises at the practice sessions. (If these don't allow you enough time for finishing all the indicated exercises, then you are strongly advised to make them before the practice sessions.) Solutions to exercises will be discussed during the practice sessions. Finally, in case you follow the course for credits you have to hand in the biweekly homework sets.


First of all, it is assumed that students have some familiarity with first order logic (syntax and semantics). Second, we assume some basic mathematical knowledge and skills, including some exposure to relations and their properties, and the ability to give proofs by induction.
Comments, complaints, questions: mail Yde Venema