PROMAL - Programming in Modal Action Logic

[1]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[2]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.