# 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 1: language and models of basic modal logic; possible
interpretations of models, e.g. states in a computation; applications
of modal logic; overview of systems
- lecture 2: completeness, finite model property and decidability proof
for basic modal logic
- lecture 3: bisimulation; preservation of modal formulas under bisimulation;
similarities with process algebra; propositional dynamic logic (PDL)
- lecture 4: computational tree logic (CTL); model-checking
- Lecture 5: 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.