Login / Signup

Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6.

Yde Venema
Published in: Theory Pract. Log. Program. (2002)
Keyphrases
  • mit press
  • dynamic logic
  • modal logic
  • learning curve
  • imperative programs
  • reasoning about actions
  • united kingdom
  • propositional dynamic logic
  • first order logic
  • agent programming
  • machine learning
  • relational databases