On the Power of Nondeterminism in Dynamic Logic

[1]  Joseph Y. Halpern,et al.  The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) , 1981, FOCS.

[2]  Joseph Y. Halpern.  On the Expressive Power of Dynamic Logic. II , 1981 .

[3]  Jerzy Tiuryn,et al.  A Note On Equivalences Among Logics of Programs , 1981, Logic of Programs.

[4]  Joseph Y. Halpern,et al.  The prepositional dynamic logic of deterministic, well-structured programs , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

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

[6]  Vaughan R. Pratt,et al.  Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[7]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[8]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .