Об интерполяционном свойстве полных по Э. Посту модальных логиктезисы доклада