![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Дается обзор сложности модальных логик (более точно, сложности проблем локальной и глобальной выполнимости в них) — «традиционных» 15 логик между K и S5, их градуированных аналогов. Рассказано о недавнем результате автора о неразрешимости градуированной временной логики класса транзитивных шкал, а также о вычислительной сложности ее основных фрагментов.