Lehrinhalte
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, process logics, modal µ-calculus, guarded logics)
Literature
Blackburn, de Rijke, Venema: Modal Logic
Goranko, Otto: Model Theory of Modal Logics, in: Handbook of Modal Logic, Blackburn, van Benthem, Wolter (eds)
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
Bemerkung Webportal
im Wechsel mit anderen Lehrveranstaltungen des Forschungsgebietes Logik
Online-Angebote
moodle
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, process logics, modal µ-calculus, guarded logics)
Literature
Blackburn, de Rijke, Venema: Modal Logic
Goranko, Otto: Model Theory of Modal Logics, in: Handbook of Modal Logic, Blackburn, van Benthem, Wolter (eds)
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
Bemerkung Webportal
im Wechsel mit anderen Lehrveranstaltungen des Forschungsgebietes Logik
Online-Angebote
moodle
- Lehrende: Martin Otto
- Lehrende: Marius Tritschler
Semester: ST 2021