Dynamic Logic

by David Harel, Jerzy Tiuryn, Dexter Kozen

Book Overview

This book provides the first comprehensive introduction to Dynamic Logic.

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...

• Format: Paperback
• Language: English
• ISBN: 0262527669
• ISBN13: 9780262527668
• Release Date: September 2000
• Publisher: MIT Press
• Length: 476 Pages
• Weight: 1.62 lbs.
• Dimensions: 1.0" x 7.0" x 9.0"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher