The Many Faces of Modal Logic
Course Description: The course gives an overview of modal logic at the intersection of computer science, philosophy, logic, and artificial intelligence. The emphasis is on the broad spectrum of semantic and syntactic variation found in modal logics, and on unifying perspectives on this variety.
The basic duality between algebra and coalgebra and, therefore, coalgebraic logic play key roles. The course is targeted at graduate students, assuming basic familiarity with naive set theory and
We understand modal logics as extensions of propositional logic with additional operators. The course discusses a number of examples and focuses on duality as a bridge between the syntactic and the semantic viewpoint. We present the basic decision problems in modal logic and discuss backwards proof search in sequent calculi. We then elaborate on the combination of modal logics, extensions of modal logics with nominals, the global modality, and fixpoints, and embed modal logic into the wider context of the philosophical, logical and computational landscape.
Schedule of all courses