Existential fixed-point logic

This publication has 5 references indexed in Scilit:

• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• Admissible Sets and Structures
  Published by Springer Nature ,1975
• An axiomatic basis for computer programming
  Communications of the ACM, 1969