|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Модальная транзитивная логика с градуированными прямыми и обратными модальностямидоклад на конференции
- Автор: Золин Евгений Евгеньевич
- Локальная Конференция : Московские чтения по конструктивной логике и представлению знаний
- Даты проведения конференции: 30-31 мая 2012
- Тип доклада: Устный
- Докладчик: Золин Евгений Евгеньевич
- Место проведения: МЦНМО, Москва, Russia
-
Аннотация доклада:
Дается обзор сложности модальных логик (более точно, сложности проблем локальной и глобальной выполнимости в них) — «традиционных» 15 логик между K и S5, их градуированных аналогов. Рассказано о недавнем результате автора о неразрешимости градуированной временной логики класса транзитивных шкал, а также о вычислительной сложности ее основных фрагментов.
- Добавил в систему: Золин Евгений Евгеньевич