Введение в теорию моделей модальной логики

В ближайшую пятницу 02.10.2020 на заседании семинара НИС на матфаке ВШЭ "Современные проблемы математической логики" состоится доклад Слюсарева Владислава.

Название: Введение в теорию моделей модальной логики

Теория моделей изучает различные сюжеты о взаимосвязи шкал Крипке и формул модальной логики. Одна из основных задач этого класса - проблема определимости. Класс шкал Крипке называется модально определимым, если он является многообразием некоторого множества модальных формул. Определимость может быть исследована при помощи операций над шкалами Крипке, сохраняющих общезначимость. Важнейший результат в этой области - теорема Голдблатта-Томасона - формулирует критерий определимости для элементарных классов шкал в терминах замкнутости относительно операций, сохраняющих общезначимость. Известны обобщения этой теоремы для расширенных модальных языков.

Данный доклад является продолжением доклада "Введение в модальную логику". Он ознакомит слушателя с основными понятиями и утверждениями теории моделей для семантики Крипке. Будут рассмотрены следующие темы:

* Определимые и неопределимые классы шкал Крипке

* Бисимуляция, теорема о бисимуляции

* Операции, сохраняющие общезначимость: несвязные суммы, порождённые подшкалы, p-морфизмы, ультрарасширения

* Критерий Голдблатта-Томасона (без доказательства)

* Определимость в расширенных модальных языках

* Применение задачи определимости в теории графов

Ссылка на конференцию ZOOM останется той же. Для получения ссылок ZOOM заполните форму: https://docs.google.com/forms/d/10uyjROCWXOYpZExjT5EU9NmhlrBbBug_Y0OkPYqCKbg/edit?usp=sharing

Видео докладов выкладывается на нашем канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Источник: www.youtube.com

Комментарии: