Equivalences among logics of programs

This publication has 10 references indexed in Scilit:

• Deterministic dynamic logic is strictly weaker than dynamic logic
  Information and Control, 1983
• Expressing program looping in regular dynamic logic
  Theoretical Computer Science, 1982
• Axiomatic Definitions of Programming Languages
  Journal of the ACM, 1982
• Nondeterministic flowchart programs with recursive procedures: semantics and correctness I
  Theoretical Computer Science, 1981
• Definability in dynamic logic
  Journal of Computer and System Sciences, 1981
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Finiteness is mu-ineffable
  Theoretical Computer Science, 1976
• Theory of Program Structures: Schemes, Semantics, Verification
  Published by Springer Nature ,1975
• Remarks on an infinitary language with constructive formulas
  The Journal of Symbolic Logic, 1967
• Algorithmic properties of structures
  Theory of Computing Systems, 1967