RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
18 ноября 2014 г. 18:30–20:05, г. Москва, ГЗ МГУ, ауд. 16-04
 


О теории доказательств модальной логики с оператором наименьшей неподвижной точки

Д. С. Шамканов

Количество просмотров:
Эта страница:49

Аннотация: Модальная мю-логика (мю-исчисление) является одной из самых красивых систем модальной логики, применяемых в информатике для верификации моделей программ. Язык данной системы расширяет язык модальной логики оператором взятия наименьшей неподвижной точки. Долгое время при изучении данной системы основными методами являлись методы теории автоматов и теории игр, в то время как подход с точки зрения теории доказательств стал развиваться относительно недавно. В докладе планируется дать обзор текущего состояния исследований в области теории доказательств модальной мю-логики, в том числе рассказать о применении циклических выводов для доказательства интерполяционного свойства Линдона данной системы.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019