Les modalités de la correction totale

This publication has 12 references indexed in Scilit:

• Systèmes de déduction pour les arbres et les schémas de programmes (I)
  RAIRO. Informatique théorique, 1980
• The Modal Logic of Programs
  Published by Defense Technical Information Center (DTIC) ,1979
• Is “sometime” sometimes better than “always”?
  Communications of the ACM, 1978
• Lucid, a nonprocedural language with iteration
  Communications of the ACM, 1977
• Tense Logic
  Published by Springer Nature ,1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Properties of Programs and the First-Order Predicate Calculus
  Journal of the ACM, 1969
• Some theorems about the sentential calculi of Lewis and Heyting
  The Journal of Symbolic Logic, 1948
• Modalities and Quantification
  The Journal of Symbolic Logic, 1946
• Modalities in the Survey system of strict implication
  The Journal of Symbolic Logic, 1939