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

Разрешимость в модальной логике
Введение в модальную логику


Что: Лекция
Когда: Воскресенье, 20 октября 2019, 13:00–14:30
Где: ПОМИ РАН
Слайды: modal_logic_lecture_201019_5jdjOYy.pdf

Описание

  • Финитная аппроксимируемость
  • Теорема Харропа
  • Минимальная фильтрация
  • Финитная аппроксимируемость логик ${\bf K}$, ${\bf T}$, ${\bf D}$, ${\bf B}$
  • Фильтрация Леммона
  • Финитная аппроксимируемость логик ${\bf K}4$, ${\bf S}4$, ${\bf S}4.2$, ${\bf S}5$
  • Разветрка и полнота логики ${\bf GL}$ относительно конечных иррефлексивных транзитивных деревьев

Видео