Igor Sedlár

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.


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

Office hours

By appointment (email me).