Интерполяционные свойства в расширениях логики неравенства

Рассмотрены модальные логики $wK_4$ и $DL$, а также соответствующие им слабо транзитивные модальные алгебры и $DL$-алгебры. Доказано, что существует в точности 16 амальгамируемых многообразий $DL$-алгебр. Найден критерий слабой амальгамируемости многообразий слабо транзитивных модальных алгебр. Как следствие решена проблема дедуктивной интерполяции для расширений логики неравенства $DL$. Получен критерий слабой интерполяции над $wK_4$.