Goodreads helps you keep track of books you want to read.
Start by marking “Dynamic Logic” as Want to Read:
by David Harel
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional ...more
Hardcover, 459 pages
Published September 29th 2000 by Mit Press
To see what your friends thought of this book, please sign up.