?
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.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций, включенных в программу весенней математической школы. ...
Добавлено: 25 июня 2026 г.
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций,
включенных в программу Воронежской зимней матаматической школы С. Г. Крейна - 2026. ...
Добавлено: 25 июня 2026 г.
Жданов В. Л., Antrushina K. T., Philosophies 2026 Vol. 11 No. 4 Article 102
This study presents an interdisciplinary examination of the intersections between human capital theory, philosophical interpretations of property, and contemporary housing and aspirational patterns in Germany and the United Kingdom. Drawing upon classical economic thought, Hegel’s philosophy of right, and Marx’s theory of alienation, the analysis demonstrates that falling homeownership rates and the reorientation of youth ...
Добавлено: 25 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., Computer Research and Modeling 2026 Vol. 18 No. 2 P. 423–438
В данной статье рассматривается модель полностью роботизированного склада с глубо
кими стеллажами, предназначенного для хранения коробочных товаров. Основное внимание
уделено оптимизации работы склада за счет дискретного мультиагентного моделирования дви
жения шаттлов, выполняющих задачи по отгрузке и размещению коробок. Авторы исследуют
различные стратегии размещения товаров в зонах склада, включая алгоритмы NCPA (Nearest
Channel Positioning Algorithm), MECGP (Most Empty Channel Group Placement) ...
Добавлено: 24 июня 2026 г.
Гаянов Н. В., Парусникова А. В., Уфимский математический журнал 2026 Т. 18 № 2 С. 14–22
Рассматривается алгебраическое 𝑞-разностное уравнение. Предлагается достаточное условие существования формального степенно–логарифмического разложения решения такого уравнения в окрестности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения некоторого 𝑞-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа 𝑞, приводящие к качественно разным формальным асимптотическим разложениям решений. ...
Добавлено: 24 июня 2026 г.
Макеева Л. Б., Философский журнал 2026 Т. 19 № 2 С. 68–82
В настоящей статье предпринимается попытка оценить философскую значимость экспериментальной философии, возникшей в самом начале ХХI в., на примере проб лемы референции имен собственных, в решении которой столкнулись дескриптив ный и каузально-исторический подходы. Отмечается, что философия языка сыграла особую роль в подготовке благоприятной почвы для появления экспериментальной философии в силу того, что в ней получил широкое ...
Добавлено: 24 июня 2026 г.
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Rossi P., Letters in Mathematical Physics 2024 Vol. 114 Article 97
Добавлено: 23 июня 2026 г.
We prove that the cohomology classes of the moduli spaces of residueless meromorphic differentials, ie the closures, in the moduli space of stable curves, of the loci of smooth curves whose marked points are the zeros and poles of prescribed orders of a meromorphic differential with vanishing residues, form a partial cohomological field theory (CohFT) of ...
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Труды Математического института им. В.А. Стеклова РАН 2024 Т. 325 С. 26–66
Основная цель работы -- показать, что DR-иерархии, введенные автором в более ранней работе, позволяют наиболее ясно установить связь между топологией компактификации Делиня-Мамфорда пространства модулей гладких алгебраических кривых рода g с n отмеченными точками и интегрируемыми системами математической физики. Также обсуждается перспективный подход, даваемый теорией DR-иерархий, к решению общей проблемы в области гипотез виттеновского типа, а именно к доказательству существования иерархии Дубровина-Чжана ...
Добавлено: 23 июня 2026 г.
С.Н. Кочеров, Диалог со временем 2026 № 95 С. 5–21
В статье приводятся аргументы в защиту свободы воли. Критикуется подход, основанный на концепции физикализма, с позиций которого жесткие инкомпатибилисты редуцируют сознание человека к активности нейронов мозга, а процессы на всех уровнях бытия – к физическим законам. Хотя физические законы и бессознательная активность мозга обусловливают решения и поступки человека, они не предопределяют его выбор как безальтернативный ...
Добавлено: 23 июня 2026 г.
Космарский А. А., Напреенко И. В., Journal of Cultural Economy 2026 P. 1–4
Добавлено: 23 июня 2026 г.
Alexander V. Mikhailovsky, Journal of Responsible Innovation 2026 Vol. 13 No. 1 Article 2677286
Добавлено: 23 июня 2026 г.
Ганжа А. Г., Логос 2026 Т. 36 № 1 С. 39–48
Редакторская статья к блоку публикаций и переводов, посвященных звуковым эпистемологиям. Статья последовательно излагает роль и место каждого участника специализированного выпуска журнала и описывает принципы отбора материалов и переводов. ...
Добавлено: 21 июня 2026 г.
Байша О. А., Вестник Санкт-Петербургского университета. Философия и конфликтология 2026 Т. 12 № 1 С. 107–117
В статье анализируется, какие из основополагающих постулатов теории дискурса Э. Ла-клау и Ш. Муфф нашли свое развитие в теории популизма Лаклау и теории агонистиче-ской демократии Муфф. Для этого рассматриваются три основные составляющие дис-курсивной теории. Это дискурсивные механизмы, с помощью которых закрепляются те или иные смыслы; теория коллективной идентичности, которую Лаклау разовьет в те-орию популизма; а ...
Добавлено: 21 июня 2026 г.
Бернацкий М. М., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 3: Филология 2026 № 83 С. 81–100
В публикации представлен комментированный перевод c латинского заметок Жака Гоара к тексту эпиклезы из его «Евхология» (1647). Перевод предваряется вступительной статьей, помещающей текст Гоара в историко-литературный контекст, связанный с греко-латинскими спорами о времени освящения даров, ключевым моментом которых стала полемика об эпиклезе на Флорентийском соборе 1439 г. Комментарии Гоара построены на основе итогов флорентийских дебатов, ...
Добавлено: 21 июня 2026 г.
Лисанюк Е. Н., Прокудин Д. Е., Баймуратов И. Р., Вестник Санкт-Петербургского университета. Философия и конфликтология 2026 Т. 42 № 1 С. 118–130
В статье рассмотрено научное рецензирование как единичный смешанный аргументативный спор между авторами рукописи, направляемой для публикации, и рецензентами, оценивающими ее по определенным критериям. Для нахождения его решений авторы применяют формализм, основанный на абстрактных аргументационных структурах (ААС) с доверительной семантикой расширений. Предложенный метод нахождения решений споров в ходе научного рецензирования состоит из: 1) разметки рецензии; 2) конвертации разметки в JSON; ...
Добавлено: 21 июня 2026 г.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Джанбекова А. Р., Шведов А. С., Математическое моделирование 2026 Т. 38 № 3 С. 159–176
Краевые задачи для уравнения Блэка–Шоулза с частными производными, описывающего стоимость финансового инструмента, могут содержать условие на свободной границе, если предусмотрена возможность раннего исполнения финансового инструмента. В настоящей статье рассматриваются краевые задачи со свободной границей для уравнения Блэка–Шоулза и уравнения конвекции-диффузии. Для уравнения конвекции-диффузии представлена разностная схема, являющаяся обобщением известной разностной схемы второго порядка точности на ...
Добавлено: 20 июня 2026 г.