?
A realization theorem for the modal logic of transitive closure K+
Izvestiya. Mathematics. 2025. Vol. 89. No. 2. P. 399–421.
We present a justification logic corresponding to the modal logic of transitive closure K+ and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing non-well-founded proofs.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Gendron Q., Успехи математических наук 2023 Т. 78 № 1 С. 209–210
Уравнение Пелля-Абеля — это функциональное уравнение вида P²-DQ² = 1, с заданным многочленом D, свободным от квадратов, и неизвестными многочленами P и Q. Мы показываем, что пространство уравнений Пелля-Абеля с фиксированными степенями D и примитивным решением P является комплексным многообразием. Мы описываем его связные компоненты с помощью эффективно вычислимого инварианта. ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Transactions of the Moscow Mathematical Society 2024 Vol. 85 No. 2 P. 323–337
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Успехи математических наук 2026 Т. 81 № 3(489) С. 159–160
Предложена простая и эффективно реализуемая формула для изменения абелевых интегралов (включая их периоды) при вариации образующих классической группы Шоттки, представляющей риманову поврехность. ...
Добавлено: 14 августа 2026 г.
Gendron Q., Compositio Mathematica 2025 Vol. 161 No. 7 P. 1483–1511
Добавлено: 14 августа 2026 г.
Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
Добавлено: 13 августа 2026 г.
Армандо Б., Религиоведение 2026 № 2 С. 177–185
Автор исследует развитие православного сакрального искусства в XXI в. в контексте диалога между канонической традицией, художественным новаторством и поисками национального художественного стиля. Особое внимание уделяется новым школам иконописи и архитектуры, возникшим в России и других православных странах, а также влиянию богословских, культурных и эстетических факторов на формирование современной иконографической практики. Анализируются конкретные авторские мастерские, художественные проекты и ...
Добавлено: 13 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Добавлено: 11 августа 2026 г.
Грегор Э. Д., СПб.: Владимир Даль, 2026.
Фашизм традиционно считался иррациональным и антиинтеллектуальным феноменом, ведомым мистицизмом и приверженным хаосу и грубой жестокости. Настоящее издание — итог почти четырех десятилетий исследований одного из ведущих экспертов по этому вопросу, американского историка Энтони Джеймса Грегора. Он утверждает, что итальянский фашизм был не более и не менее иррациональным, чем другие революционные идеологии XX века. Грегор прослеживает историю ...
Добавлено: 10 августа 2026 г.
Kulev Y., Максаев А. М., Промыслов В. В., Linear Algebra and its Applications 2026 Vol. 730 P. 51–72
Добавлено: 7 августа 2026 г.
Kanunnikov A., Промыслов В. В., Vassilieva E., Electronic Journal of Combinatorics 2024 Vol. 31 No. 3 Article P3.6
Добавлено: 7 августа 2026 г.
Spiridonov V. P., Belousov N. M., Sarkissian G. A., Analysis and Mathematical Physics 2026 Vol. 16 Article 96
Добавлено: 4 августа 2026 г.
Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
Добавлено: 3 августа 2026 г.
Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Добавлено: 3 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Митлянская М. Б., Высшее образование в России 2023 Т. 32 № 7 С. 157–166
Статья основывается на историко-философском анализе фрагментов концепции бытийной истории Мартина Хайдеггера, в рамках которой философ рас сматривал феномен университета и актуальное положение наук. Их состояние, по мнению философа, является прямым следствием всеобъемлющего угасания традиции европейского мышления, берущего начало в эпоху платонизма. Основными признаками эпохи «заката метафизики» становятся примат формы над содержанием, «завод ское» производство университетских ...
Добавлено: 31 июля 2026 г.
Митлянская М. Б., Философские науки 2020 Т. 63 № 4 С. 132–151
Философское сообщество активно обсуждает «Черные тетради» – философские дневники Мартина Хайдеггера. Их публикация открыла для исследователей отдельный пласт концепции бытийной истории. Это произведение – наглядный пример того, насколько близко могут находиться философская мысль и политическая атмосфера времени. Хайдеггер стал свидетелем событий, вызвавших у него неоднозначное отношение. Он имел определенные представления о необходимости реорганизации немецкого университета, ...
Добавлено: 31 июля 2026 г.
Митлянская М. Б., Финиковый компот 2020 № 15 С. 263–266
Рецензия на антологию «Pro et contra», собравшую работы нескольких поколений русских историков философии о Мартине Хайдеггере. Более семидесяти статей, рецензий и отрывков книг наиболее значимых в данной области исследователей (по мнению составителей альманаха). Автор рецензии дает общую информацию о наполнении сборника и более подробно разбирает ряд ярких фрагментов. ...
Добавлено: 31 июля 2026 г.
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
Саватеев Ю. В., Шамканов Д. С., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 569–583.
Добавлено: 16 сентября 2019 г.