Lecture

Dynamic Logic: Basics and Implementations