← Назад к программе
Работа подсекции «Логика»
Кожемяченко Даниил Андреевич. Доклад: "Симуляция непрямых правил вывода в классических пропозициональных исчислениях"
Никанорова Мария Михайловна. Доклад: "Об интенсиональных семантиках для систем позитивной силлогистики"
Петрухин Ярослав Игоревич. Доклад: "Об одной паранепротиворечивой модификации логики Гёделя-Даммита"
Пиманов Артем Сергеевич. Доклад: "Метод фильтрации как способ доказательства свойства разрешимости во временных логиках"
Рывкина Мария Станиславовна. Доклад: "Применение теории игр в коммуникации: сигнальные игры и интерпретация ответов"
Шишов Константин Васильевич. Доклад: "Вероятностная семантика для логики QCL"
Участники
Пиманов Артем Сергеевич
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики,
Москва, Россия
(2022)
Кожемяченко Даниил Андреевич
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики,
Москва, Россия
(2016)
Рывкина Мария Станиславовна
Национальный исследовательский университет «Высшая школа экономики», Факультет гуманитарных наук,
Москва, Россия
(2017)
Петрухин Ярослав Игоревич
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики,
Москва, Россия
(2021)
Шишов Константин Васильевич
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики,
Москва, Россия
(2020)
Легейдо Мария Михайловна
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики,
Москва, Россия
(2022)