Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Модальный язык и модели Крипке
Введение в модальную логику


Что: Лекция
Когда: Суббота, 19 октября 2019, 17:15–18:45
Где: ПОМИ РАН
Слайды: modal_logic_lecture_191019.pdf

Описание

Предыстория и обзор модальностей в логике. Несколько общих слов об областях применения модальной логики в различных областях (теория графов, топология, CS, теория игр, etc)

Модальный язык, шкала Крипке, модель Крипке, определение истинности в моделях Крипке Примеры моделей Крипке Модальные формулы и соотвествующие им свойства шкал Понятие логики шкалы, логики класса шкал Понятие \(p\)-морфизма Пример невыразимого в модальном языке свойства шкал

Видео