Weak interpolation in extensions of the logics $S4$ and $K4$

Conditions are specified which are necessary and sufficient for a logic over $K4$ to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of $K4$, the weak interpolation property is proved decidable.