Модальные формулы без переменных и PSpace-полнотатезисы доклада