Instructors: Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
Modallogiken
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
Englisch
Min. | Max. participants:
- | -
Course Contents:
Kripke semantics for modal logics; bisimulation techniques: games and expressive
power; modal logic as a fragment of first-order logic; classical correspondence
theory; finite model theory of modal logics; relevant extensions of
basic modal logic (e.g., temporal logics, program logics, modal µ-calculus,
guarded logics)
Online Offerings:
moodle
|