Никита Лукашов//Допустимые правила в модальных логиках
1:24:59
Никита Лукашов//Допустимые правила вывода в IPC
1:37:26
Абдуламин Исмаилов//Введение в теорию типов
1:30:52
Елена Попова//Логика свидетельств: обзор
1:44:28
Артем Сергеевич Пиманов//овременные модификации онтологических структур времени
1:15:13
Сергей Павлович Одинцов//Слабо импликативные логики
1:31:52
Анна Задаля//Сложность логики LTL.
1:49:19
Елена Попова//Логика свидетельств первого порядка со связывающей модальностью
1:33:59