Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-FILD-402.0002
- Title
- Elective course in philosophy: Modal logic
- Usual semester
- Spring
- Published semester
- 2025/26/2
- ECTS
- 4
- Language
- en
- Learning outcomes
- Aim of the course: This course provides an intensive introduction to the field of modal logics, their applications in different fields of scences and their algebraic counterparts. Content of the course: We cover basic model theoretical techniques applied in these systems (generated substructures, p-morphisms, bisimulation, ultrafilter extension, etc.), correspondence theory (first-and second-order correspondents, standard translation), completeness and in-completeness results for frame semantics, algebraic semantics and general completeness results, also we take a look into selected applications (e.g. temporal logic, dynamic epistemic logic). Grading criteria, specific requirements: Grading is based on homeworks, submitted on a regular weakly base Required reading: • Blackburn, P., Rijke, M., Venema Y. Modal logic. Cambridge University Press, 2002. • Chagrov, A., Zakharyaschev M. Modal logic. Clarendon Press, Oxford, 1997. • Lecture notes