During the 8 lecture we will introduce some of the basic concepts of modal logic, roughly in the following order:

- Basic logic and semantics
- Bisimulation and definability
- Axiomatic systems and frame correspondence
- Completness proof
- Standard Translation
- Poly-modal languages
- Modal predicate logic

- Patrick Blackburn, Johan van Benthem "Modal logic: a semantic perspective", in "Handbook of Modal Logic" Edited by: P. Blackburn, J. Van Benthem and F. Wolter.
- Rosalie Iemhoff "Modal Logic. Facts" and some solutions for exercises.
- Patrick Blackburn, Maarten de Rijke and Yde Venema "Modal Logic", CUP 2001
- Johan van Benthem "Modal logic for open minds", CSLI, forthcoming.
- Eric Pacuit's Stanford "Notes on Modal Logic"
- Jussi Rintanen and Stefan Wolfl "Modal logics: theory and applications"
- Edward Zalta "Basic Concepts in Modal Logic", 1996.
- Brian Chellas "Modal logic an introduction", CUP 1980.
- G.E. Hughes and M.J. Cresswell "A new introduction to modal logic", Routledge 1996.
- James Garson "Modal Logic", The Stanford Encyclopedia of Philosophy.

Exam