Dynamic Logic, Handbook of Philosophical Logic (1984)

by D Harel