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