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

Первопорядковая определимость шкал Крипке
Введение в модальную логику


Что: Лекция
Когда: Воскресенье, 20 октября 2019, 13:00–14:30
Где:

Описание

  • Первопорядковая определимость шкал и ее соотношение с модальными формулами
  • Примеры формул (формула Лёба и формула Маккинси), чьи шкалы не являются первопорядково определимыми
  • Примеры первопорядковых свойств шкал (иррефлексивность и антисимметричность), невыразимых в модальном языке