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

Минимальная нормальная модальная логика
Введение в модальную логику


Что: Лекция
Когда: Суббота, 19 октября 2019, 19:00–20:30
Где: ПОМИ РАН

Описание

  • Понятия нормальной модальной логики, минимальной нормальной модальной логики
  • Теорема корректности: логика произвольного класса шкал является нормальной модальной логикой
  • Лемма Линденбаума, каноническая модель и доказательство теоремы о полноте: минимальная нормальная модальная логика — логика класса всех шкал
  • Модальные формулы и соотвествующие им свойства шкал