Topics in Modal Logic (Fall 2021)

This page concerns the course `Topics in Modal Logic', taught at the University of Amsterdam from October - December 2021.

Contents of these pages


Course material



Dates & location:


Course Description

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. This common mathematical backbone form the content of this course, the exact topics change from year to year.

This year, the course will be devoted to connections between coalgebra and modal logic. We will provide an introduction to the notion of a coalgebra and its connection with modal logic. In a nutshell, we will see how:

More information can be found in the literature mentioned above.

Course Content Here is a tentative list of topics to be covered:


The course is an advanced master course, and we assume that students possess some mathematical maturity; some basic knowledge of algebra and topology will be handy.

We do presuppose some basic skills and background knowledge on modal logic:

No previous exposure to category theory is assumed.
Comments, complaints, questions: mail Yde Venema