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
 The classes of this course have finished.

The sixth homework set will be released on Friday morning (17 December).
Deadline for submission will be Monday 10 January, 5pm.

We will make use of lecture notes.
 Here is the most current version of
the lecture notes (still that of 2019).
 Here are Tobias' notes on
bisimulation upto equivalence.

Here is some additional reading material:
 Jan Rutten,
The
Method of Coalgebra: exercises in coinduction,
CWI, Amsterdam, The Netherlands, 2019 (ISBN 9789061965688).
 Bart Jacobs, Introduction to Coalgebra: towards mathematics of states and observation,
Tracts in Theoretical Computer Science, Cambridge University Press, 2016.
(An earlier version is freely available
here.)
 C. Cîrstea, A. Kurz, D. Pattinson, L. Schröder and Y. Venema,
Modal logics are coalgebraic,
The Computer Journal, 54 (2011) 3141.
 J. Rot, M. Bonsangue and J. Rutten,
Coalgebraic BisimulationUpTo,
LNCS 7741, 2013.)
 In case you got interested in the algebra/coalgebra duality, you could
start reading the following:
 C Kupke, A Kurz and Y Venema.
Stone coalgebras
Theoretical Computer Science 327 (2004) 109134.
For the extended (report) version, click here.
Staff
 Lecturer:
Yde Venema (y dot venema at uva dot nl, phone: 525 5299)
 Homework grading:
Jan Rooduijn
Dates & location:

Classes run from 2 November until 16 December; there will be 14 classes
in total.

There are two classes weekly, on Tuesdays from 13.00  14.45,
and on Thursdays from 15.00  16.45,
both in room F2.19 (ILLC building, Science Park).

To discuss the homework, Jan has organised some office hours, look
here for the times and location.

There is an exam on Tuesday 21 December, from 13.00  16.00, in room SP
X (Science Park).

Grading is through homework assignments, and a written exam at the
end of the course.
See the separate page on grading for more details.
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:
 universal coalgebra is a unifying theory for many statebased evolving
structures including deterministic finite automata, Kripke structures and
nonwellfounded sets;
 universal coalgebra can be used to unify many different branches of
modal logic under the umbrella of coalgebraic modal logic.
More information can be found in the literature mentioned above.
Course Content
Here is a tentative list of topics to be covered:
 introduction to coalgebra: definition and examples
 coalgebraic modal logic: examples
 final coalgebras and coinduction
 behavioral equivalence and bisimilarity
 covarieties and structural operations
 Moss' coalgebraic modality
 logics based on predicate liftings
 onestep coalgebraic logic
 properties and desiderata of coalgebraic logics
 finite models: filtration and finite model property
 completeness for coalgebraic modal logics
 coalgebraic fixpoint logics and coalgebra automata
 topological coalgebras and Stonetype dualities
 algebra & coalgebra: analogies & dualities
Prerequisites
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:
 required: familiarity with the syntax and semantics of modal
languages, and the notion of bisimulation.
More precisely, we build on the material covered in the first weeks of
the course Introduction to Modal Logic, corresponding to the sections
1.11.3, 2.12.3 of the Modal Logic book.
 recommended (but not strictly necessary): previous exposure to the
completeness proof of modal logic, and in particular, to the notion of the
canonical frame.
No previous exposure to category theory is assumed.
Comments, complaints, questions: mail
Yde Venema