Dynamic Logic
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2000 |
| Authors | Dexter Kozen |
| David Harel | |
| Jerzy Tiuryn | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2071704 |
About Dynamic Logic
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. . . .