SILVA, A. Dynamic Logic: A Review. AI Magazine, v. 23, n. 1, p. 119, 15 Mar. 2002.