Propositional Dynamic Logic with Local Assignments.

Michael L. Tiomkin Johann A. Makowsky Propositional Dynamic Logic with Local Assignments. 71-87 1985 36 Theor. Comput. Sci. db/journals/tcs/tcs36.html#TiomkinM85