Silva, A. (2002). Dynamic Logic: A Review. AI Magazine, 23(1), 119. https://doi.org/10.1609/aimag.v23i1.1616