Dynamic Logic: A Review

  • Andres Silva

Abstract

Review of Harel, D.; Kozen, D.; and Tiuryn, J. Dynamic Logic. Cambridge, Massachusetts, The MIT Press, 2000, 459 pp., $50.00, ISBN 0-262-08289-6.
Published
2002-03-15
How to Cite
Silva, A. (2002). Dynamic Logic: A Review. AI Magazine, 23(1), 119. https://doi.org/10.1609/aimag.v23i1.1616
Section
Book Reviews