Семинар проходит по понедельникам в 16:00, ауд. 313 (МИАН, ул. Губкина, 8) + Zoom. Мы стремимся чередовать очных и онлайн докладчиков. В дальнейшем записи докладов будут выкладываться здесь и на YouTube канале МЦМУ МИАН. Присоединиться к очередной конференции можно по спискам рассылки в объявлениях на английской странице этого семинара.

Объявления

C 16.09.24 семинар будет проходить по понедельникам, начало в 16:00, ауд. 313 МИАН.

Предстоящие доклады

07.10.2024 Лев Дворкин (МГУ, 6 курс): Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL. (очный)

Пусть $L$ — модальная логика, $A(p)$ — формула с единственной переменной $p$. Рассмотрим перевод формул $f_A$, коммутирующий с булевыми связками и отображающий формулу вида $\Diamond B$ в $A(f_A(B))$. Обозначим через $L_A$ множество формул, перевод которых выводим в $L$. Несложно проверить, что $L_A$ является логикой (вообще говоря, не нормальной). Будем говорить, что формула $A$ задаёт интерпретацию $L_A$ в $L$.

Несложно заметить, что логика $L_A$ нормальна тогда и только тогда, когда $$L \vdash A(p \lor q) \leftrightarrow A(p) \lor A(q) \text{ и } L \vdash A(\bot)\leftrightarrow \bot.$$ Такие формулы $A$ назовём аддитивными. Оказывается, что неэквивалентных аддитивных формул немного. В S5 их всего три, в S4 и Grz — пять. В K и GL аддитивных формул бесконечно много, но все они устроены относительно просто.

Мы обсудим основные методы, которыми были получены перечисленные результаты и возможные их обобщения.

Прошедшие доклады

Записи докладов можно найти в конце этой страницы

30.09.2024 В.И. Данилов (ЦЭМИ РАН): Алгебры Магари и функции выбора Плотта (очный)

23.09.2024 В.Б. Шехтман (НИУ ВШЭ, МФТИ): Полнота для модальных предикатных логик (очный)

16.09.2024 М.В. Зубков (КФУ, Казань): Вычислимые линейно упорядоченные структуры (очный)

27.05.2024 А.В. Кудинов (ИППИ РАН, НИУ ВШЭ): Сложность ненормальных логик и логики с подсчетом применения аксиом (очный доклад)

21.05.2024 совместно с семинаром С.И. Адяна (вторник, 18:30 MSK). David Fernández-Duque (Univeristy of Barcelona): Provable well-orders and hyperarithmetical soundness (онлайн)

13.05.2024 Ali Enayat (Гётеборгский университет): Categoricity-like properties in the first order realm (online)

22.04.2024 И.Б. Шапировский (ИППИ, Университет Нью-Мексико): Фильтрации некоторых предтранзитивных логик (онлайн)

15.04.2024 Saeed Salehi (Tabriz University): How (not) to compute the halting probability or validate the heuristic principle (онлайн)

01 и 08.04.2024 Н. Баженов (НГУ), И. Калимуллин (КФУ): Punctual structures, automatic structures and index sets (очный доклад)

25.03.2024 С.О. Сперанский (МИАН): Об элементарной теории безатомных вероятностных пространств (очный доклад)

18.03.2024 Д. Шамканов (МИАН) и П. Разумный (МФТИ, магистрант): О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств (очный доклад)

11.03.2024 С.Л. Кузнецов (МИАН): Неразрешимость теории алгебр Клини с условиями коммутативности

04.03.2024 T. Kurahashi (Университет Кобе, Япония): Modal logics of provability predicates

26.02.2024 В.С. Секорин (ТвГУ): Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем.

12.02 и 19.02.2024 Лев Дворкин (МГУ, 5 курс): О финитной аппроксимируемости одного класса предтранзитивных логик.

18.12.2023 Zoran Ognjanović (Matematički institut SANU, Beograd, Srbija): Logics with Probability Operators. Completeness and Decidability

04.12 и 11.12.2023 Juan Aguilera (Vienna University of Technology): Dilators and $\Pi_2^1$-ordinal analysis (продолжение)

27.11.2023 jointly with S.I. Adian seminar, 14:00 MSK (UTC+3). Bakhadyr Khoussainov (Computer Science School, The UESTC, China): On finitely presented expansions of semigroups, groups, and algebras. Online talk.

20.11.2023 Сергей Славнов (НИУ ВШЭ): Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики.

6.11.2023 Juan Aguilera (Vienna University of Technology): Dilators and $\Pi_2^1$-ordinal analysis

23.10.2023 С.П. Одинцов (Институт математики им. С.Л. Соболева СО РАН, г. Новосибирск): Конструктивная логика N4 и коннексивная C: сходства и различия

16.10.2023 Matthias Baaz (Vienna University of Technology): Andrews skolemization may shorten proofs non-elementarily

02.10.2023 L. Beklemishev and Y. Wang (Peking University): General topological frames for polymodal provability logic based on periodic sets of ordinals

25.09.2023 Н. Лукашов (НИУ ВШЭ, магистрант): О проблеме унификации для полимодальной логики доказуемости

18.09.2023 Anupam Das (University of Birmingham): Computational expressivity of (circular) proofs with fixed points

23.05.2023 Juan Aguilera (Vienna, Gent, Hamburg): Non-linearities in the analytical hierarchy

16.05.2023 А.Л. Семёнов (МГУ): Примеры и вопросы для решеток определимости

18.04.2023 С.Л. Кузнецов (МИАН): Алгоритмические вопросы для субструктурных логик с итерацией Клини

11.04.2023 И.Ш. Калимуллин (КФУ, Казань): The degrees of relative computable categoricity

4.04.2023 Н.А. Баженов (ИМ СО РАН, Новосибирск): Learning for families of algebraic structures

20 и 27.03.2022 Fedor Pakhomov (Steklov Mathematical Institute and Ghent University): Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of Π¹₁-CA₀.

06.03.2023 М.Н. Рыбаков (Тверской Государственный Университет и ИППИ РАН): Алгоритмическая сложность неклассических логик унарного предиката.

13.02.2023 and 20.02.2023 Martin Ziegler (KAIST, Korea): Bit-Complexity of Classical Solutions of Linear Evolutionary Systems of Partial Differential Equations

12.12.2022 Silvia Ghilezan (Универзитет у Новом Саду, Сербия): Kripke-style semantics in typed lambda calculus, combinatory logic and more.

05.12.2022 Carl-Fredrik Nyberg-Brodda (Université Gustave Eiffel, Париж): The Dehn functions of a class of one-relation monoids

28.11.2022 В.Б. Шехтман (ИППИ РАН, НИУ ВШЭ, МГУ): Симплициальные модели модальных логик предикатов

21.11.2022 Ф.Н. Пахомов (МИАН и Гентский университет): How to escape Tennenbaum's Theorem?

14.11.2022 Андрей Кудинов (ИППИ РАН): Строго позитивные фрагменты модальных логик с направленностью.

07-11.11.2022 Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика».

31.10.2022 Л.Д. Беклемишев (МИАН): О крайзелевском уточнении концепции финитизма. Лекция на конференции Formal Philosophy 2022 в традиционное время семинара.

17.10.2022 и 24.10.2022 Данияр Шамканов (МИАН): О циклических доказательствах в классической логике первого порядка с индуктивными определениями.

10.10.2022 Arnon Avron (Tel Aviv): The Active Role of Language Extensions in Mathematical Reasoning.

03.10.2022 Константин Ковалёв (МФТИ): О фрагментах арифметики Пеано с бескванторной схемой индукции.

26.09.2022 Лев Дворкин (МГУ): О логике доказуемости арифметики Нибергалля.

20.06.2022 Mojtaba Mojtahedi (Tehran): On provability logic of HA (continuation).

06.06.2022 Marta Fiori Carones (Sobolev Institute of Mathematics): The strength of some consequences of RT$^2_2$ over RCA$_0^*$.

30.05.2022 and 02.06.2022 Mojtaba Mojtahedi (Tehran): On provability logic of HA.

23.05.2022 Александр Запрягаев (НИУ ВШЭ и МИАН): Интерпретации арифметик Бюхи в себе.

16.05.2022 Д.И. Савельев (ИППИ РАН): О модальных логиках теоретико-модельных отношений.

25.04.2022 Anupam Das (University of Birmingham): A circular version of Gödel's T and its abstraction complexity.

18.04.2022 Сергей Дудаков (ТвГУ): Алгоритмические свойства алгебр подмножеств.

11.04.2022 Александр Козачинский (МИАН): Популяционные протоколы и арифметика Пресбургера.

04.04.2022 Vladimir Kanovei (IITP RAS): Some definable counterexamples in models of set theory.

28.03.2022 Lev Beklemishev (Steklov Mathematical Institute): Reading Kreisel: what we do (not) understand

14.03.2022 Lev Beklemishev (Steklov Mathematical Institute): Conservativity spectra and generalized Ignatiev model

21.02.2022 Анастасия Оноприенко (МГУ): О топологических моделях логик HC и H4.

14.02.2022 Igor Sedlár (Czech Academy of Sciences, Institute of Computer Science): Substructural Logics of Programs

07.02.2022 Тихон Пшеницын (МГУ): Гиперграфовое обобщение исчисления Ламбека и операции, выразимые в нем (на русском языке)

20.12.2021 Albert Visser (Universiteit Utrecht): Interpreters as consistoids (continuation)

06.12.2021 Thomas Icard (Stanford University): Logical foundations of causal inference

22.11.2021 Albert Visser (Universiteit Utrecht): Interpreters as consistoids

15.11.2021 Michael Mendler (Universität Bamberg): The Došen Square under construction: A tale of four modalities

08.11.2021 Константин Ковалев (МФТИ): Модели бескванторной индукции для языка арифметики с экспонентой

25.10.2021 James Walsh (Cornell University): An incompleteness theorem via ordinal analysis

18.10.2021 Misha Svyatlovsky (Moscow Institute of Physics and Technology): Strictly positive fragments of K4 and its extensions

11.10.2021 Mateusz Łełyk (Department of Philosophy, University of Warsaw): The two halves of disjunctive correctness for the compositional truth predicate

04.10.2021 В.Л. Селиванов (ИСИ им. А.П. Ершова СО РАН и НГУ): Primitive Recursive Ordered Fields and Some Applications

7-11.06.2021: Logical Perspectives 2021 Conference, для участия регистрируйтесь на сайте конференции.

24.05.2021 И.Б. Шапировский (ИППИ РАН и New Mexico State University): О финитной аппроксимируемости и сложности логик сумм шкал Крипке

12.04.2021 Fedor N. Pakhomov (University of Ghent and Steklov Mathematical Institute): Generalized Fusible Numbers

22.03.2021 Joost J. Joosten (University of Barcelona): Quantified reflection calculus with one modality is decidable

15.03.2021 Wesley H. Holliday (University of California, Berkeley): Logics of Imprecise Comparative Probability

01.03.2021 Максим Вишникин (МГУ): Базовые категориальные грамматики с однозначным присвоением типов

15.02.2021 Wei Chen (Huawei, Edinburgh): Automated Mathematical Theorem Proving

18.01.2021 Rosalie Iemhoff (University of Utrecht): The role of uniform interpolation in structural proof theory

21.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic (continuation)

14.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic

07.12.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability (continuation)

30.11.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability

23.11.2020 Guram Bezhanishvili (New Mexico State University): Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities

17-18.11.2020 Logical Perspectives Open Lectures: Yuri Gurevich, Anil Nerode, Barbara Partee.

09.11.2020 Christian Wurm (HHU Düsseldorf): Language-theoretic models for the Full Lambek calculus

02.11.2020 Anna Dmitrieva (ILLC, University of Amsterdam): Axiomatizing Origami planes

27.10.2020 S.I. Adian Seminar, 18:30 MSK (UTC+3), A.A. Razborov (University of Chicago and Steklov Mathematical Institute): SAT Solvers and Ordered Decision Strategies

26.10.2020 Stepan Kuznetsov (Steklov Mathematical Institute): Decidable fragments of the Lambek calculus with subexponentials

19.10.2020 Fedor Pakhomov (Steklov Mathematical Institute and University of Ghent): Iterated ω-model reflection and Π¹₂ proof-theoretic analysis

12.10.2020 Ali Enayat (University of Gothenburg): Set theory with a proper class of indiscernibles

Руководитель семинара
Беклемишев Лев Дмитриевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)