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

Full description

Bibliographic Details

Main Author:	Harel, David, 1950-
Other Authors:	Kozen, Dexter, 1951-, Tiuryn, Jerzy
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, 2000.
Series:	Foundations of computing.
Subjects:	Computer logic. Formal methods (Computer science) COMPUTER SCIENCE/Theoretical Computer Science Electronic books.
Online Access:	Connect to the full text of this electronic book