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

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


Что: Лекция
Когда: Суббота, 19 октября 2019, 19:00–20:30
Где:

Описание

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