Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Kozen, Dexter,
cover
Dynamic logic
Comment Share
Harel, David,Kozen, Dexter,Tiuryn, Jerzy.

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,…

Edition
-
ISBN/ISSN
9780262274951
Collation
1 online resource (xv, 459 pages) :illustrations.
Series Title
-
Call Number
-