Алгоритмические проблемы окрестностной полноты нормальных модальных логиктезисы доклада