Dynamic Logic

Dynamic Logic
Author :
Publisher : MIT Press
Total Pages : 492
Release :
ISBN-10 : 0262263025
ISBN-13 : 9780262263023
Rating : 4/5 (023 Downloads)

Book Synopsis Dynamic Logic by : David Harel

Download or read book Dynamic Logic written by David Harel and published by MIT Press. This book was released on 2000-09-29 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 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.


Dynamic Logic Related Books

Dynamic Logic
Language: en
Pages: 492
Authors: David Harel
Categories: Computers
Type: BOOK - Published: 2000-09-29 - Publisher: MIT Press

DOWNLOAD EBOOK

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the
Extensions of First-Order Logic
Language: en
Pages: 414
Authors: Maria Manzano
Categories: Computers
Type: BOOK - Published: 1996-03-29 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

An introduction to many-sorted logic as an extension of first-order logic.
Deductive Software Verification – The KeY Book
Language: en
Pages: 714
Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2016-12-19 - Publisher: Springer

DOWNLOAD EBOOK

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin
Mathematical Foundations of Computer Science 1978
Language: en
Pages: 570
Authors: Józef Winkowski
Categories: Computers
Type: BOOK - Published: 1978-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Neighborhood Semantics for Modal Logic
Language: en
Pages: 165
Authors: Eric Pacuit
Categories: Philosophy
Type: BOOK - Published: 2017-11-15 - Publisher: Springer

DOWNLOAD EBOOK

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the re