499H Modal logic
4th year/MSc course
Lecturer: Ian Hodkinson
Course notes and exercises
will be put on cate.
Slides available here.
Books
- pdf file of
Logics
of time and computation,
by Robert Goldblatt, CSLI Lecture Notes no. 7,
Center for the Study of Language and Information, Stanford University, 2nd edition, 1992.
- Modal Logic,
by P Blackburn, M de Rijke, Y Venema.
- Modal
logic for open minds,
by J. van Benthem. (Currently) free recent (2010) text written from courses given to Stanford students.
- More advanced book:
Robert Goldblatt, Mathematics of Modality,
CSLI Lecture Notes no. 43,
Center for the Study of Language and Information, Stanford University, 1993.
Downloadable
pdf. This famous collection of papers goes way beyond the course, but those going on to Ph.D. research in logic or related areas
may find it valuable.
See also the bibliography in the slides.
Some links
Survey paper on temporal logic:
Temporal logic, by Yde Venema,
in: L. Goble (editor), The Blackwell Guide to Philosophical Logic,
Blackwell Publishers, Malden, USA, 2001, pp 203-223.
Erich Grädel's dialogue
"Why are modal logics so robustly decidable?" (2001, .ps file)
on robust decidability of modal logics, including fixed points and guarded fragments.
For model-checking,
you might want to consult material of M. Vardi:
Dexter Kozen's powerpoint slides on Kleene algebras and PDL
(used in 3 lectures at NZIMA Logic
and Computation Workshop, Nelson, New Zealand, 2004):
lecture 1
lecture 2
lecture 3
Johan van Benthem's valedictory lecture, September 2014