Конференции

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 Г., г. Новосибирск

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

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