Сложность проблемы истинности константных модальных формул в моделитезисы доклада