View article

In this note two issues concerning completeness of Hoare-like proof systems which seem unrelated at first sight are brought together: Expressiveness of the assertion language and the Rule of Adaptation. These different issues are connected by investigating soundness and relative completeness of four published versions of the Rule of Adaptation with help of some general techniques for reasoning about expressiveness.