  We generalize Kracht's theory of internal describability from classical modal
logic to the family of all logics canonically associated with varieties of
normal lattice expansions (LE algebras). We work in the purely algebraic
setting of perfect LEs; the formulas playing the role of Kracht's formulas in
this generalized setting pertain to a first order language whose atoms are
special inequalities between terms of perfect algebras. Via duality, formulas
in this language can be equivalently translated into first order conditions in
the frame correspondence languages of several types of relational semantics for
LE-logics.
