Non-standard algorithmic and dynamic logic

This publication has 17 references indexed in Scilit:

• Non-standard fixed points in first order logic
  Published by Springer Nature ,1984
• Arithmetical interpretations of dynamic logic
  The Journal of Symbolic Logic, 1983
• On the strength of “sometimes” and “always” in program verification
  Information and Control, 1983
• Nonstandard models in Propositional Dynamic Logic
  Lecture Notes in Computer Science, 1983
• A complete logic for reasoning about programs via nonstandard model theory I
  Theoretical Computer Science, 1982
• Programs and program verifications in a general setting
  Theoretical Computer Science, 1981
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Making dynamic logic first-order
  Published by Springer Nature ,1981
• Completeness problems in verification of programs and program schemes
  Published by Springer Nature ,1979
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950