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.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v23i1.1616

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.