Resumen de Weak interpolation in extensions of the logics S4 and K4

A. V. Karpenko

• 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.