City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Модальный язык и модели Крипке
Introduction to model theory


What: Lecture
When: Saturday, 19 October 2019, 17:15–18:45
Where: ПОМИ РАН
Slides: modal_logic_lecture_191019.pdf

Description

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

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

Video