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

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


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

Описание

  1. Понятия нормальной модальной логики, минимальной нормальной модальной логики
  2. Теорема корректности: логика произвольного класса шкал является нормальной модальной логикой
  3. Лемма Линденбаума, каноническая модель и доказательство теоремы о полноте: минимальная нормальная модальная логика — логика класса всех шкал

Видео