  Non-iterative normal modal logics are defined by axioms of modal degree 1. In
this paper we use calculations with normal forms to determine the set of all
possible non-iterative normal modal logics, unimodal propositional extensions
of K. To characterize them, we construct the complete set (lattice) of such
logics and we provide the generic specification of their axioms and their
semantics.
