?
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.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Кнорре Б. К., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 1: Богословие. Философия. Религиоведение 2026 № 125 С. 53–69
В данной статье делается попытка предложить решение вопроса об оценке религиозности М. М. Пришвина, приоритетах его религиозного сознания, которое отдельные исследователи соотносят с православием, другие, напротив, подмечают критическое отношение к нему, подчеркивая, что он практически всю жизнь находился в религиозном поиске. По нашему мнению, ответ на вопрос об оценке религиозности М. М. Пришвина лежит в ...
Добавлено: 25 июля 2026 г.
Aliev, Rastyam T., Galactica Media: Journal of Media Studies 2025 Vol. 7 No. 2 P. 166– 186
В данной статье разрабатывается концепт метасимулякра инаковости для анализа структурных трансформаций различия в цифровой культуре. В отличие от традиционных репрезентаций инаковости, метасимулякр перестраивает сами условия восприятия, производя инаковость как управляемый, эстетизированный и коммерциализированный поток. Цифровые платформы больше не маргинализируют и не подавляют различие, они интегрируют его в архитектуру вовлечения, нейтрализуя его подрывной потенциал через алгоритмическое ...
Добавлено: 24 июля 2026 г.
Scientific publishing house Infinity, 2026.
Добавлено: 24 июля 2026 г.
Добавлено: 23 июля 2026 г.
Веретенников А. Ю., Pascucci A., Rondelli A., Stochastic Processes and their Applications 2026 Vol. 199 Article 104978
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Ляппиева А. А., Теория вероятностей и ее применения 2026 Т. 71 № 2 С. 295–304
Установлен новый результат о сильной единственности для многомерного СДУ с невырожденной диффузией и частично нерегулярным сносом. Его можно рассматривать как комбинированный вариант на темы Ямада и Ватанабэ (1971), Звонкина (1974) и первого автора настоящей статьи (1980). ...
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Нуриева А. И., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 525 С. 24–30
Предложено новое достаточное условие в задаче о центральной предельной теореме в схеме серий для неоднородных цепей Маркова, с возможностью того, что минимум эргодического коэффициента Маркова–Добрушина может быть ближе к нулю, чем в основном условии Добрушина. ...
Добавлено: 17 июля 2026 г.
Можайский А. Ю., Schole. Философское антиковедение и классическая традиция 2026 Т. 20 № 2 С. 1105–1116
В настоящей статье исследуется образование Эпаминонда - знаменитого фиванского полководца и государственного деятеля. В античную эпоху он был широко известен благодаря образованности и философскому авторитету. В исследовании показано, что становление Эпаминонда было обусловлено сложным комплексом местных традиций обучения, которые Павсаний характеризует как «местные учения» (ἐπιχώρια διδάγματα). В то же время образование Эпаминонда отличалось от подготовки ...
Добавлено: 17 июля 2026 г.
О частных производных модифицированных полиномов Бернштейна–Станку для функций нескольких переменных
Веретенников А. Ю., Мазутский Н. М., Математический сборник 2025 Т. 216 № 7 С. 3–27
Целью работы является доказательство аппроксимации смешанных производных второго порядка для функции нескольких переменных в норме L1 такими же производными модифицированных полиномов Бернштейна–Станку при минимальной возможной регулярности. ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2025 Т. 70 № 2 С. 211–227
В работе предложены новые версии слабого закона больших чисел (ЗБЧ) для слабо зависимых слагаемых (вообще говоря, разнораспределенных) как при наличии математического ожидания каждого из них, так и без такового. Одним из основных условий в первом из трех рассматриваемых случаев, в котором развиваются идеи из статьи Ю. Ш. Чау 1971 г., является равномерная интегрируемость слагаемых по Чезаро в духе работ по ЗБЧ для ...
Добавлено: 17 июля 2026 г.
Ахмярова А. Т., Веретенников А. Ю., Теория вероятностей и ее применения 2024 Т. 69 № 3 С. 427–438
Предложен новый вариант усиленного закона больших чисел для попарно независимых случайных величин. Основная цель — ослабить требование существования математического ожидания каждого из слагаемых. Предположение о попарной независимости также ослаблено. ...
Добавлено: 17 июля 2026 г.
Веретенников А. Ю., Moscow Mathematical Journal 2024 Vol. 24 No. 1 P. 107–124
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Markov Processes and Related Fields 2023 Vol. 23 No. 2 P. 259–294
Добавлено: 16 июля 2026 г.
On recurrence, convergence and mixing rate for generalised Wright - Fisher's diffusion with mutation
Веретенников А. Ю., Sineokiy R., Markov Processes and Related Fields 2023 Vol. 23 No. 2 P. 241–258
Добавлено: 16 июля 2026 г.
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Пахомов Ф. Н., Запрягаев А. А., Logic Journal of the IGPL 2026 Vol. 34 No. 4 Article jzag045
Добавлено: 16 июля 2026 г.