499 Modal and temporal logic

4th year/MSc course
Lecturer: Ian Hodkinson

Course notes and exercises will be put on cate.

See also imh's ISO page.


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 on robust decidability of modal logics, including fixed points and guarded fragments.

For model-checking, you might want to consult material of M. Vardi:
home page
Paper 'An automata-theoretic approach to linear temporal logic'

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