Dynamic logic, in: Handbook of Philosophical Logic (1984)

by D Harel