Definability of Least Fixed Points

Least fixed points of modal logic are studied. We introduce a class of Kripke models and prove that least fixed points of positive operators are definable in these. The class is widest of the known ones in which least fixed points of positive operators are definable.