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

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


Что: Лекция
Когда: Суббота, 19 октября 2019, 17:15–18:45
Где:

Описание

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