After successful completion of the course, students are able to name and explain different modal logics, as well as to correctly argue theoretical relations of the considered formalisms. In particular, after successfully complete of the course, students are able to
- analyse employed techniques and methods,
- select relevant techniques and methods for a given problem, and
- critically assess relevant solutions and formalisms.
Different proof systems for basic modal logics, like K, S4, S5, are investigated. We mainly study tableau systems and their close relatives, Gentzen calculi. Furthermore, important properties of the considered logics are studied.