Елена Попова//Логика свидетельств: обзор
1:30:37
Александр Герасимов//Бесконечнозначная первопорядковая логика Лукасевича.
1:49:19
Елена Попова//Логика свидетельств первого порядка со связывающей модальностью
1:41:31
Никита Лукашов//Допустимые правила в модальных логиках
1:21:56
Александр Герасимов //Бесконечнозначная первопорядковая логика Лукасевича: ...
1:15:13
Сергей Павлович Одинцов//Слабо импликативные логики
1:21:20
Александр Колпащиков//Неразрешимые суперинтуиционистские исчисления и закон исключённого третьего.
1:31:52
Анна Задаля//Сложность логики LTL.
1:37:26