Интерполяционные теоремы в модальных логиках. Достаточные условия

Доказывается, что среди пропозициональных модальных логик, содержащих систему S4, имеется по меньшей мере 25 логик, в которых верна интерполяционная теорема Крейга, и еще 12 логик, в которых верна более слабая теорема Крейга для необходимых высказываний. В частности, полностью решен вопрос об интерполяционных свойствах логик, вполне представимых классами шкал.