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
Section
Book Reviews