  A modal logic is pretransitive, if the modality corresponding to the
transitive closure of an accessibility relation is expressible in it. In the
present work we establish the finite model property for pretransitive
generalizations of K4, wK4, and GL and their extensions by canonical
subframe-hereditary formulas.
