Goodreads helps you keep track of books you want to read.
Start by marking “Dynamic Logic” as Want to Read:
Dynamic Logic
Enlarge cover
Rate this book
Clear rating
Open Preview

Dynamic Logic

really liked it 4.0  ·  Rating Details ·  1 Rating  ·  0 Reviews
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
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Dynamic Logic, please sign up.

Be the first to ask a question about Dynamic Logic

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-14)
filter  |  sort: default (?)  |  Rating Details
Gregory rated it really liked it
Nov 27, 2012
Rajasekaran marked it as to-read
Jan 06, 2012
Steven added it
Sep 29, 2012
Martisch marked it as to-read
Feb 03, 2013
Hiro Tam
Hiro Tam marked it as to-read
May 10, 2014
Iamxfc marked it as to-read
Dec 20, 2014
Telorian marked it as to-read
Feb 03, 2013
Ssergey marked it as to-read
Oct 21, 2015
Christopher is currently reading it
Nov 07, 2015
Renan Virginio
Renan Virginio marked it as to-read
Aug 18, 2016
Samuel Chen
Samuel Chen marked it as to-read
Sep 09, 2016
There are no discussion topics on this book yet. Be the first to start one »

Share This Book

No trivia or quizzes yet. Add some now »