1. A completeness technique for D-axiomatizable semantics;Berman,1979
2. Propositional dynamic logic of regular programs;Fischer;J. Comput. System Sci.,1979
3. Axiomatizations of logics of programs;Gabbay,1977
4. J. Halpern, unpublished manuscript (1980).
5. G. Mirkowska, Model existence theorem in algorithmic logic with nondeterministic programs, University of Warsaw, unpublished manuscript.