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


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