or
Sign in to turn on 1-Click ordering.
 
 
Express Checkout with PayPhrase
What's this? | Create PayPhrase
Sorry!
More Buying Choices
26 used & new from $40.49

Have one to sell? Sell yours here
 
   
Dynamic Logic (Foundations of Computing)
 
 
Tell the Publisher!
I’d like to read this book on Kindle

Don’t have a Kindle? Get your Kindle here.
 
  

Dynamic Logic (Foundations of Computing) (Hardcover)

~ (Author), Dexter Kozen (Author), Jerzy Tiuryn (Author) "The integers, the rational numbers, and the real numbers are denoted Z, Q, and R, respectively..." (more)
Key Phrases: wildcard assignment, unwind property, loop invariance rule, Dynamic Logic, Hoare Logic, Proof Let (more...)
4.0 out of 5 stars  See all reviews (1 customer review)

List Price: $60.00
Price: $40.50 & this item ships for FREE with Super Saver Shipping. Details
You Save: $19.50 (33%)
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Only 2 left in stock--order soon (more on the way).

Want it delivered Friday, November 13? Choose One-Day Shipping at checkout. Details
17 new from $40.50 9 used from $40.49

Frequently Bought Together

Customers buy this book with Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine by David Harel

Dynamic Logic (Foundations of Computing) + Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
Price For Both: $130.45

Show availability and shipping details


Customers Who Bought This Item Also Bought

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)

by Robert Goldblatt
5.0 out of 5 stars (2)  $19.77
Theory of Computation (Texts in Computer Science)

Theory of Computation (Texts in Computer Science)

by Dexter C. Kozen
5.0 out of 5 stars (2)  $78.60
Modal Logic

Modal Logic

by Patrick Blackburn
4.4 out of 5 stars (5)  $74.69
The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

by H.P. Barendregt
4.5 out of 5 stars (4)  $117.90
Categories and Computer Science (Cambridge Computer Science Texts)

Categories and Computer Science (Cambridge Computer Science Texts)

by R. F. C. Walters
5.0 out of 5 stars (2)  $34.19
Explore similar items

Editorial Reviews

Product Description

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 calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.


About the Author

David Harel is the William Sussman Professor of Mathematics and Dean of the Faculty of Mathematics and Computer Science at the Weizmann Institute of Science, Israel. Dexter Kozen is the Joseph Newton Pew, Jr., Professor of Engineering in the Department of Computer Science at Cornell University. Jerzy Tiuryn is Professor and Head of the Applied Logic Group in the Division of Mathematics, Informatics and Mechanics at Warsaw University.

Product Details

  • Hardcover: 450 pages
  • Publisher: The MIT Press; 1st edition (October 2, 2000)
  • Language: English
  • ISBN-10: 0262082896
  • ISBN-13: 978-0262082891
  • Product Dimensions: 9 x 7.6 x 1.2 inches
  • Shipping Weight: 2 pounds (View shipping rates and policies)
  • Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon.com Sales Rank: #1,473,356 in Books (See Bestsellers in Books)

More About the Author

David Harel
Discover books, learn about writers, read author blogs, and more.

Visit Amazon's David Harel Page

Inside This Book (learn more)




What Do Customers Ultimately Buy After Viewing This Item?

Dynamic Logic (Foundations of Computing)
75% buy the item featured on this page:
Dynamic Logic (Foundations of Computing) 4.0 out of 5 stars (1)
$40.50
Reasoning About Knowledge
25% buy
Reasoning About Knowledge 4.5 out of 5 stars (2)
$36.46

Suggested Tags from Similar Products

 (What's this?)
Be the first one to add a relevant tag (keyword that's strongly related to this product).
 
(4)

Your tags: Add your first tag
 

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

 

Customer Reviews

1 Review
5 star:    (0)
4 star:
 (1)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
4.0 out of 5 stars (1 customer review)
 
 
 
 
Share your thoughts with other customers:
Most Helpful Customer Reviews

 
4 of 12 people found the following review helpful:
4.0 out of 5 stars From a Software Engineer at Raytheon, July 9, 2003
By S. Wuest (Tucson, AZ United States) - See all my reviews
(REAL NAME)   
Background: M.S. in C.S. and A.I.

Positive Points

1. The MIT Press is putting out texts on formal logic
2. Dynamic Logic has all the building blocks to reason formally
about computer algorithms
3. The book shows how extensions of logic (such as modal, or
temporal) can be built on a foundation of formal logic.

How shall I say this? I am still shocked within the circles of
software engineering, to run into Masters degrees who don't even
know one complete notation system for formal logic. The ability
to produce formal proofs of validity, is a very basic ability
for a programmer creating complex algorithms. The European Union
seems a little bit ahead of North American programmers, in this
respect.

And programmers who do not know any notations of formal logic,
probably will never have studied computer algorithms for
automated reasoning. (And will probably be abysmally ignorant
of the classes of intractable problems associated with automated

reasoning.)

The situation among "hard" engineers (as opposed to software
engineers) seems to be worse (which is why I laud MIT putting
out introductory books on logic). Almost every week I run into
engineers who cannot understand that formal logic and mathematics
are not the same thing. More precisely, that one can have a
complete, valid, consistent system of logic, without a number
system.

I am happy that the big engineering schools are becoming
conscious that an ignorance of formal logic is a serious flaw
in hard and soft engineers. The next difficulty follows logically:
engineers discover the power of formal logic to
reason about reality far beyond what can be accurately described
by analytic mathematical methods (currently). And they want to
immediately implement automated reasoning software, without
knowing anything about the nature of THAT problem. We need more
books on software algorithms, for extensions of formal logic.
And that is NOT this book. This book is an appetizer.

Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)


Share your thoughts with other customers: Create your own review
 
 
 
Only search this product's reviews



Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Active discussions in related forums
Discussion Replies Latest Post
Textbooks for Kindle DX? 61 3 days ago
textbook scam 66 8 days ago
Amazon is a great place to buy textbooks! 35 20 days ago
Search Customer Discussions
Search all Amazon discussions
   



So You'd Like to...


Product Information from the Amapedia Community

Beta (What's this?)


Look for Similar Items by Category


Look for Similar Items by Subject

 

Feedback

If you need help or have a question for Customer Service, contact us.
 Would you like to update product info or give feedback on images?
Is there any other feedback you would like to provide?

Your comments can help make our site better for everyone.


Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.