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

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

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

Описание

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

Видео

Computer Science Club, 2007–24 гг.