Разрешимость проблемы интерполяции и родственных свойств в табличных логиках

Рассматриваются пропозициональные модальные и позитивные логики, а также расширения минимальной логики Йохансона. Доказывается, что основные варианты интерполяционного свойства и свойства определимости по Бету, а также свойство Холдена разрешимы на классах табличных логик, т.е. логик, заданных конечным числом конечных алгебр. Указаны алгоритмы построения контрпримеров к каждому из указанных свойств в тех случаях, когда исследуемая логика не обладает этим свойством.