Semantics of Looping Programs in Propositional Dynamic Logic

Francine Berman. Semantics of Looping Programs in Propositional Dynamic Logic. Theory Comput. Syst., 15(4):285-294, 1982.

Abstract

Abstract is missing.