Dynamic Logic is a formal system for reasoning about programs and it also enjoys the singular advantage of being strongly related to classical logic. Traditionally, this has meant formalizing correctness specifications are met by a particular program. This book presents a comprehensive introduction to Dynamic Logic (DL). It can be described as a blend of three complementary classical ingredients: first-order predicate logic, modal logic, and the algebra of regular events. These components merge to form a system of remarkable unity that is theoretically rich as well as practical. The text is divided into three parts: Part I reviews the fundamental concepts of logic and computability theory that are needed in the study of Dynamic Logic. Part II discusses Propositional Dynamic Logic and its variants, and Part III discusses First-Order Dynamic and its variants. Examples are provided throughout, and a collection of exercises and a short historical section are included at the end of each chapter. The book will be well suited for the students of computer science and those pursuing postgraduate courses in philosophy.