499 Modal and temporal logic
4th year/MAC course
Hodkinson, Nick Bezhanishvili, Clemens Kupke
Ian Hodkinson gives the first approx. 9 lectures: syntax, semantics,
theorem, p-morphisms, temporal logic.
Course notes and exercises
will be put on cate.
See also imh's ISO page.
- pdf file of
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.
by P Blackburn, M de Rijke, Y Venema, a few parts still
logic for open minds,
by J. van Benthem. (Currently) free new 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.
pdf. This goes beyond the course, but those going on to Ph.D. research in logic or related areas
may find it a valuable collection of papers.
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
on robust decidability of modal logics, including fixed points and guarded fragments.
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):