A note on equivalences among logics of programs

This publication has 12 references indexed in Scilit:

• Nondeterministic flowchart programs with recursive procedures: semantics and correctness I
  Theoretical Computer Science, 1981
• Unbounded program memory adds to the expressive power of first-order dynamic logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Definability in Dynamic Logic
  Published by Association for Computing Machinery (ACM) ,1980
• Complete axiomatization of algorithmic properties of program schemes with bounded nondeterministic interpretations
  Published by Association for Computing Machinery (ACM) ,1980
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Nondeterminism in logics of programs
  Published by Association for Computing Machinery (ACM) ,1978
• Finiteness is mu-ineffable
  Theoretical Computer Science, 1976
• Theory of Program Structures: Schemes, Semantics, Verification
  Published by Springer Nature ,1975
• Translatability of schemas over restricted interpretations
  Journal of Computer and System Sciences, 1974
• Algorithmic properties of structures
  Theory of Computing Systems, 1967