First order dynamic logic (1984)

by D Harel
Venue:In Extensions of Classical Logic, Handbook of Philosophical Logic II