Modal Logic (Midlands Graduate School course, April 2013)

The course will introduce modal logic, its applications in computer science, main logical techniques for proving decidability etc. The course is based on courses I gave at MGS in 2003 and 2005. An additional lecture this year will be on coalgebras.

Lecture slides from 2005

Slides of lecture 1 (pdf)
Slides of lecture 2 (pdf)
Slides of lecture 3 (pdf)
Slides of lecture 4 (pdf)
Exam MGS 2005
This file is maintained by Natasha Alechina
Last updated 27 February 2013.