499 Modal and temporal logic (2007--08)
4th year/MAC course.
Lecturers: Ian Hodkinson and Marek Sergot.
-
Ian Hodkinson
gives the first half of the course:
syntax, semantics,
Sahlqvist correspondence, p-morphisms, temporal logic.
You can find material on Ian Hodkinson's part of the course
here.
- Marek Sergot gives the
second half of the course:
normal systems: soundness,
completeness, and canonical models;
non-normal (classical) systems
and 'neighbourhood semantics';
epistemic logic and `grounded
semantics' for multi-agent systems.
Examples (in particular, logics of knowledge and
belief, obligation/duty, agency,
and logics encountered in
practical reasoning) will be used for illustration during the
lectures.
In previous years part of the course was given by
Michael Huth,
and included LTL
and CTL model checking in NuSMV, used in
hardware and software verification.
You can find material on Michael Huth's part of the course
here.
These notes are copyright Marek Sergot. You may use them so long
as they are not sold for profit
and the title slide with the names and
affiliations appears on them as in the file.
Please let me know of any typographical or other errors in these notes.
mjs@doc.ic.ac.uk
Lecture notes (2007--08)
Last modified 10 November 2008