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

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


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

Description

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