Annotation
An introductory course to basic modal logics. Main goal of this course is to cover basic model theory (Kripke semantics, completeness, compactness, definability, bisimulation) and hilbert style calculi of normal modal logics.
Part of the course consists in excersising the material in concrete examples of modal logics (epistemic, temporal or dynamic logic).