Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn.

Riccardo Pucella

Published in: SIGACT News (2001)

Keyphrases

dynamic logic
book presents
artificial intelligence
book covers
modal logic
cutting edge
graduate students
exam preparation
book discusses
multiple input
agent programming
writing style
reasoning about actions
researchers and practitioners
general purpose
high level
website