Computer Science Club

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

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

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