Dynamic Logic Reloaded: A Personal Documentary Yishai Feldman IBM Research - Haifa In the world of logics of programs, Dynamic Logic was a bright star that faded too quickly. I will give a brief overview of Dynamic Logic and explain my view of its rise and fall. I will then give an overview of the Plan Calculus and suggest why it may be a basis for the revival of Dynamic Logic. This is a personal and speculative account -- come at your own risk!