![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Основной результат: класс отмеченных моделей Крипке (соответственно, класс моделей Крипке) представим в виде объединения классов, задаваемых некоторыми множествами модальных формул, тогда и только тогда, когда он замкнут относительно бисимуляции (соответственно, сюръективной бисимуляции), а также он и его дополнение замкнуты относительно операции ультра-расширения. В докладе помимо собственно полученного результата, представлена полная картина из многочисленных результатов — критериев модальной определимости классов (отмеченных) моделей для различных модальных языков.
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Презентация | Слайды на русском (неокончены) | 2017_Zolin_Smirnoff_Readings_RUS.pdf | 539,7 КБ | 30 августа 2017 [ezolin] |
2. | Презентация | Slides in English (unfinished) | 2017_Zolin_Smirnoff_Readings_ENG.pdf | 553,3 КБ | 30 августа 2017 [ezolin] |