Доклад Михаила Рыбакова «Логики для описания вычислений: синтаксис, семантика, сложность»
24 сентября М.Н.Рыбаков сделал доклад «Логики для описания вычислений: синтаксис, семантика, сложность» на семинаре «Нестандартные логики» имени Л.Л.Максимовой, проходящем в ИМ СО РАН.
Доклад Юрия Казакова «Эпистемические модели вопросов и ответов»
23 сентября прошло заседание научно-исследовательского семинара, на котором стажер-исследователь Юрий Казаков выступил с докладом «Эпистемические модели вопросов и ответов».
Поздравляем Максима Евстигнеева с защитой кандидатской диссертации!
Максим Евстигнеев защитил кандидатскую диссертацию по теме «Идиома "путь идей" в нововременной философии от Р.Декарта до Т.Рида».
Доклад Михаила Сафронова «Тонкая красная линия: оккамистский ответ на проблему эпистемического фатализма»
16 сенября прошло 125-е заседание научно-теоретического семинара «Формальная философия».
Доклад «Минимальная вполне-определённая логика и её теории»
16 сентября на логическом семинаре лаборатории имени Ю.И.Манина, проходящем в ВШМ МФТИ, И.А.Горбуновым и М.Н.Рыбаковым был представлен доклад «Минимальная вполне-определённая логика и её теории».
Препринт Александра Поддьякова
Опубликован препринт Александра Поддьякова «Расплывчатые стимулирующие идеи, образы и метафоры в научном мышлении: работа исследователей с горизонтами неясного знания».
Доклад Ивана Соболева «Периодическая таблица утверждений: структура и классификация некооперативной речи»
9 сенября прошло 124-е заседание научно-теоретического семинара «Формальная философия».
Доклад Михаила Рыбакова на конференции «Новиков–125»
26 августа в рамках международной конференции, посвящённой 125-летию П.С. Новикова (МИАН, Москва), Михаил Рыбаков выступил с докладом «Логики для описания вычислений: синтаксис, семантика и вычислительная сложность проблемы разрешения».
Доклад Анастасии Оноприенко и Михаила Рыбакова в Казани
21 августа на VI Конференции математических центров России в Казани Анастасия Оноприенко и Михаил Рыбаков представили доклад, посвящённый сложности логики HC — гибридной системы, объединяющей классическую и интуиционистскую логики, а также её фрагментов.
Доклад Михаила Рыбакова и Дмитрия Шкатова на конференции «Автоматический вывод в количественных неклассических логиках» (Лиссабон, Португалия)
24 июля конференции в Лиссабоне Дмитрий Шкатов и Михаил Рыбаков представил доклад об алгоритмических свойствах модальных логик первого порядка для классов деревьев.