Доклад Сергея Одинцова «Модальная логика Мойсила и родственные системы»
Сергей Одинцов, ведущий научный сотрудник Института математики им. С.Л. Соболева СО РАН, выступил с докладом «Модальная логика Мойсила и родственные системы» на семинаре «Формальная философия», который прошел 27 июня.
Как прошел первый день конференции «Формальная философия 2025»
Началась международная конференция «Формальная философия 2025».
Опубликована статья Дениса Федянина «Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks»
В сборнике «Social Computing and Social Media. HCII 2025. Lecture Notes in Computer Science» вышла статья Дениса Федянина.
Доклады сотрудников МЛ ЛогЛинФФ на конференции «Четырнадцатые Смирновские чтения по логике»
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «Четырнадцатые Смирновские чтения по логике», которая проходила с 19 по 21 июня.
Доклад Дарьи Поповой «Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции»
Дарья Попова, научный сотрудник МЛ ЛогЛинФФ, выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 13 июня.
Доклад Юлии Копчевой «Модификация аксиом о позитивности в онтологическом доказательстве Геделя»
Стажер-исследователь МЛ ЛогЛинФФ Юлия Копчева выступила с докладом на научно-исследовательском семинаре «From the Logical Point of View», который прошел 6 июня.
Доклад Ивана Пыльцына на семинаре «Современные проблемы математической логики» в ВШЭ
6 июня Иван Пыльцын выступил с докладом «Нефундированное расширение интуиционистской логики и игровая семантика Межирова» на семинаре математического факультета НИУ ВШЭ.
Виктория Денисова выступила на международном форуме Ассоциации когнитивно-поведенческой психотерапии
23его мая стажер-исследователь МЛ ЛогЛинФФ Виктория Денисова выступила с докладом на международном форуме Ассоциации когнитивно-поведенческой психотерапии, который проходил в Санкт-Петербурге