  We aim at a holistic perspective on program logics, including Hoare and
incorrectness logics. To this end, we study different classes of properties
arising from the generalization of the aforementioned logics. We compare our
results with the properties expressible in the language of Kleene algebra with
top and tests.
