Dynamic Logic

Fall 2021, Faculty of Arts, Charles University in Prague

Course outline

The course introduces some of the frameworks that have been proposed to formalize reasoning about programs, focusing on propositional dynamic logic and temporal logics.

Lectures and materials

Click on the lecture title to download (password-protected) slides and lecture notes.

• Course outline
• Part 1: Modal logic
• Part 2: Program semantics and verification
• Part 3: Regular expressions and finite automata
• Part 4: Propositional dynamic logic
• The rest is to be specified...

Grading

Assignments (one mid-term and one at the end of the lecture period).

Office hours

By appointment (email me).