Andrés Silva. Dynamic Logic: A Review. AI Magazine, 23(1):119, 2002.
@article{Silva02:0,
title = {Dynamic Logic: A Review},
author = {Andrés Silva},
year = {2002},
tags = {reviewing, logic},
researchr = {https://researchr.org/publication/Silva02%3A0},
cites = {0},
citedby = {0},
journal = {AI Magazine},
volume = {23},
number = {1},
pages = {119},
}