Inleiding Modale Logica / Introduction to Modal Logic (Fall 2007)
Deze pagina betreft het vak `Inleiding Modale Logica' (BSc Wiskunde, 3e jaar),
gedoceerd aan de Universiteit van Amsterdam van september tot december 2007.
De voertaal van het college is Engels.
This page concerns the course `Introduction to Modal Logic', taught at the
University of Amsterdam from September-December 2007.
This class has finished. The
will be taught by
Dr. Alessandra Palmigiano.
Contents of these pages
All your homework sets have been graded, and your final grade has been
You can find your results
(Of students referred to by question marks we have no UvA-id).
In case you want to learn more about modal logic, you may consider to
follow the course Capita Selecta in Modal Logic, Algebra
This year, the course will be devoted to modal fixpoint logics and their
connections with automata theory.
Here's a pdf file containing everything
you need to know about ultrafilters, with exercises.
Classes run from September 5 until December 14, with a one week's break in
There are two meetings weekly:
- On Wednesdays from 09.00 - 10.45 there is a practice session in P014.
- On Fridays from 11.00 - 12.45 there is a lecture in B244.
- These rooms are in building P (Euclides) and B of the
- We will make use of the book Modal
Logic, by Maarten de Rijke, Patrick Blackburn and Yde Venema (Cambridge
University Press, 2001).
- There is a list of errata available in
Please help us make this list as complete as possible!
Grading is through homework assignments, see the
special page, and possibly a final exam.
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.
More specifically, we will cover the following material:
- syntax and relational semantics of modal languages (Chapter 1: 1-3)
- models, model constructions, bisimulation and correspondence
(Chapter 2: 1-6)
- frames and frame definability, Sahlqvist correspondence theory
(Chapter 3: 1-6)
- normal modal logics and completeness theory (Chapter 1: 6; Chapter 4: 1-4, 6)
- intuitionistic logic (material to be distributed)
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
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