scientific article; zbMATH DE number 3902002

MaRDI QIDQ3680246zbMATH OpenFDO

Authors Daniel M. Leivant

Publication date 1985

zbMATH Keywords

first-order theoryHoare semanticspartial-correctness theories of programspredicate transformerpropositionally closed predicate transformersStrong Completeness Theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• General correctness: A unification of partial and total correctness
• scientific article; zbMATH DE number 4080898
• Some general incompleteness results for partial correctness logics
• Two theorems about the completeness of Hoare's logic
• Program correctness and matricial iteration theories

Cited in

(3)

• Some general incompleteness results for partial correctness logics
• First order theories for partial models
• A first order theory of functional parthood

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680246)