June 18th, 2021

Несколько видов логик в качестве обзора.

Несколько видов логик в качестве обзора.
Модальные логики
Эпистемические логики
Темпоральные логики
Логика линейного времени (LTL)
Логика деревьев вычислений (CTL)

Курс от Кафедра математической кибернетики факультета ВМиК МГУ.

Математическая логика. Лектор Подымов Владислав Васильевич
https://mk.cs.msu.ru/images/6/6f/Mathlog_318_lecture_14_15.pdf