Dynamic Logic

Fall 2025

Welcome to the webpage of the course Dynamic Logic. The course is taught at the Faculty of Arts, Charles University in the fall semester 2025. The seminars take place Wednesdays 9:10–10:40 in room 116.

Course outline

The course introduces some logical methods for reasoning about equivalence and correctness of computer programs. We look at program semantics, Propositional Dynamic Logic and Kleene Algebra.

Instructors

Office hours: By appointment (email us).

Syllabus and materials

Announcements

Stay tuned.

Reading

Besides the lecture notes, I suggest the following (more suggestions later):

A useful tool for proving/disproving equations:

Grading

The pass/fail grade will be based on your solutions of three problem sets and on lecture attendance.