Abstract:
We construct an axiomatization of 16 extensions of the logic $DL$ possessing the deductive interpolation property (IPD). It is proved that the weak interpolation property (WIP) is decidable in weakly transitive modal logics. Likewise, the weak amalgamation property is proved decidable for varieties of weakly transitive modal algebras.