Harel (1984)

Harel D. (1984)

Dynamic Logic

In: Handbook of Philosophical Logic, Vol. II, D. Reidel Publishing Company, 1984, pp. 497-604