Конференции

Semantical and Computational Aspects of Non-Classical Logics 2023

13-17 июня 2023 г., Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

— И. Агаджанян, М. Рыбаков (совместный доклад с Д. Шкатовым). Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames. 

Тезисы: И. Агаджанян, М Рыбаков, Д. Шкатов

— М. Рыбаков (совместный доклад с Д. Серовой). Tiling problems and complexity of logics. 

Тезисы: М. Рыбаков, Д. Серова

— М. Рыбаков (совместный доклад с Д. Шкатовым). On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics.

Тезисы: М. Рыбаков, Д. Шкатов

— А. Грефенштейн. On the quantified version of the Belnap–Dunn modal logic and some extensions of it.

Тезисы: А. Грефенштейн

— И. Пыльцын. Mezhirov’s game for intuitionistic logic and its variations. 

Тезисы: И. Пыльцын

— Д. Шамканов, П. Разумный. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs. 

Тезисы: Д. Шамканов, П. Разумный

 

Тринадцатые Смирновские чтения по логике

22–24 июня 2023 г., г. Москва

— М. Рыбаков (совместный доклад с Д. Шкатовым). Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик.

Тезисы: М. Рыбаков, Д. Шкатов

— Д. Шамканов. О циклических и нефундированных выводах. 

Тезисы: Д. Шамканов

 

ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives (FOMTL 2023)

7-11 августа 2023 г., Любляна, Словения

— И. Пыльцын. Mezhirov's game for intuitionistic logic and its variations.

Тезисы: И. Пыльцын

 

Logic Algebra and Truth Degrees (LATD 2023)

11-15 сентября 2023 Г., Тбилиси, Грузия

— Д. Шамканов. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs.

Тезисы: Д. Шамканов

 

42ème Journées sur les Arithmétiques Faibles (JAF 42)

25-27 сентября 2023 Г., Карловаси, Греция

— А. Запрягаев. On interpretations in Buchi Arithmetics.

Тезисы: А. Запрягаев

 

Третья конференция Математических центров России

10–15 октября 2023 г., Адыгея, г. Майкоп

— М. Рыбаков. Рекурсивная неотделимость для классических теорий бинарного предиката и модальных логик унарного предиката. 

Тезисы: М. Рыбаков

— А. Запрягаев. Linear orders interpretable in Presburger arithmetic.

Тезисы: А. Запрягаев

 

Мальцевские чтения

13–19 ноября 2023 Г., г. Новосибирск

— М. Рыбаков. Рекурсивная неотделимость в модальных логиках.

Тезисы: М. Рыбаков

 

Однодневный семинар по математической логике

24 июня 2024 г., г. Москва

— М. Рыбаков (совместный доклад с Д. Серовой). Кодирование проблем укладки домино логическими средствами.

Тезисы: М. Рыбаков

 

IV Конференция математических центров России

6-12 августа 2024 г., г. Санкт-петербург

— М. Рыбаков. Неразрешимость логики QLC в языке с двумя предметными переменными.

Тезисы: М. Рыбаков

 

35th EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION

29 июля-9 августа 2024 г., Лювен, Бельгия

— М. Рыбаков (совместный курс с Д. Шкатовым). Computational aspects of first-order modal logics.

Тезисы: М. Рыбаков

 

Advances in Modal Logic

19-23 августа 2024 г., Чехия, г. прага

— М. Рыбаков. On the system of positive slices in the structure of superintuitionistic predicate logics.

Тезисы: М. Рыбаков

— A. Гагарин. Products of Horn modal logic.

Тезисы: А. Гагарин

 

Формальная философия

7-9 ноября 2024 г., ВШЭ, г. Москва

— М. Рыбаков (совместный доклад с Д. Серовой). Предикатная логика Гёделя–Дамметта: бедные неразрешимые фрагменты.

Тезисы: М. Рыбаков

 

Мальцевские чтения

11-15 ноября 2024 г., г. Новосибирск

— М. Рыбаков (совместный доклад с Д. Серовой). Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта.

Тезисы: М. Рыбаков

— М. Рыбаков (совместный доклад с А. Оноприенко). Сложность логики HC с одной переменной.

Тезисы: М. Рыбаков