Dynamic Logic: A Review

Authors

  • Andres Silva

DOI:

https://doi.org/10.1609/aimag.v23i1.1616

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.

Downloads

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

Issue

Section

Book Reviews