Computer Science Club

What:	Lecture
When:	Sunday, 20 October 2019, 13:00–14:30
Where:	ПОМИ РАН
Slides:	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}$ относительно конечных иррефлексивных транзитивных деревьев

Разрешимость в модальной логике
Introduction to Model Theory