О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменныхтезисы доклада