Dynamic Logic, in Handbook of Philosophical Logic, ,2 edited by (1984)

by D Harel