?
Влияние аксиомы связности на сложность модальной логики.
Математика и теоретические компьютерные науки. 2025. Т. 3. № 2. С. 58–84.
Кудинов А. В., Мясников К. М.
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу.
Ключевые слова: модальная логикаalgorithmic complexityPSPACEModal LogicUniversal modalityалгоритмическая сложностьconnectedness axiomPSPACEweak transitivityаксиома связностислабая транзитивностьуниверсальная модальность
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 8 ноября 2026 г.
Ретинский В. И., Функциональный анализ и его приложения 2026 Т. 60 № 4 С. 83–100
Приведено обобщение матричной теоремы о деревьях на случай перечисления пар остовных деревьев. Это обобщение включает в качестве частных случаев и унифицирует сразу несколько известных ранее результатов, в частности классическую теорему Кирхгофа, теорему Масбаума–Вайнтроба о перечислении 3-деревьев, а также аналог матричной теоремы о деревьях для перечисления 4-элементов Кирхгофа. ...
Добавлено: 5 ноября 2026 г.
Левашев В. А., Математические заметки 2026 Т. 120 № 5 С. 843–846
Пусть 𝐴 – коммутативное ассоциативное кольцо с единицей и 𝐴((𝑡)) = 𝐴[[𝑡]][𝑡−1] – кольцо рядов Лорана над 𝐴. Алгебра 𝐴((𝑡)) имеет естественную топологию, где 𝐴 – подмодули вида 𝑡𝑚𝐴[[𝑡]] образуют базу окрестностей нуля. Пусть также Ω1𝐴((𝑡))/𝐴 – модуль кэлеровых 1-дифференциалов 𝐴((𝑡)) над 𝐴. ...
Добавлено: 5 ноября 2026 г.
Алексеев О. В., Letters in Mathematical Physics 2026 Vol. 116 No. 5 Article 132
Добавлено: 5 ноября 2026 г.
Левин А. М., Сахарова Н. Е., / Series arXiv "math". 2024. No. 2412.17795.
Добавлено: 4 ноября 2026 г.
Жужома Е. В., Медведев В. С., Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 732–742
Добавлено: 3 ноября 2026 г.
Добавлено: 3 ноября 2026 г.
Жужома Е. В., Zhirov A. Y., Russian Journal of Nonlinear Dynamics 2026 Vol. 22 No. 2 P. 403–414
Добавлено: 3 ноября 2026 г.
Elena R. Loubenets, Sergey Kuznetsov, Quantum Information Processing 2026 Vol. 25 Article 358
Добавлено: 3 ноября 2026 г.
Добавлено: 3 ноября 2026 г.
Добавлено: 2 ноября 2026 г.
Смирнов С. В., Дынников И. А., Успехи математических наук 2002 Т. 57 № 6 С. 183–184
Изучаются точно решаемые циклические q-цепочки Дарбу, обобщающие q-осциллятор ...
Добавлено: 1 ноября 2026 г.
Смирнов С. В., Алгебра и анализ 2003 Т. 15 № 5 С. 228–253
В работе построен дискретный q-аналог одевающей цепочки Веселова–Шабата (являющейся обобщением гармонического осциллятора). Показано, что, как и в непрерывном случае, соответствующие операторные соотношения позволяют полностью определить дискретный спектр операторов цепочки: в данном случае он состоит из нескольких q-арифметических прогрессий. В этой работе удалось реализовать циклическую q-цепочку ограниченными разностными самосопряженными операторами, причем спектр каждого из них дискретен, а собственные векторы образуют ...
Добавлено: 1 ноября 2026 г.
Смирнов С. В., Теоретическая и математическая физика 2012 Т. 172 № 3 С. 387–402
Изучаются интегрируемые условия обрыва для полудискретной цепочки Тоды. Построено представление Лакса для полудискретного аналога цепочек, соответствующих простым алгебрам Ли серии C. Введены нелокальные переменные, в терминах которых записываются симметрии бесконечной полудискретной цепочки, и классифицируются условия обрыва определенного вида, совместимые с симметриями бесконечной цепочки. ...
Добавлено: 1 ноября 2026 г.
Пиле Я. Э., Щур Л. Н., Nuclear Physics B 2026 No. 0550-3213 Article 117706
Добавлено: 1 ноября 2026 г.
Борзых Д. А., Орлов Н. А., Экономический журнал Высшей школы экономики 2026 Т. 30 № 3 С. 457–486
Работа посвящена сравнению двух методов оценивания модели стохастической волатильности (SV-модели) – методу максимального квазиправдоподобия (QML) и методу Монте-Карло с цепями Маркова (MCMC). Сравнение
проводится как на симулированных, так и на реальных данных. На симулированных данных метод MCMC показывает значительно более точные результаты. При этом с точки зрения вычислений QML-метод имеет гораздо
более высокое быстродействие и требует существенно ...
Добавлено: 29 октября 2026 г.
Guerreiro I., Sergey Skorokhod, di Volo M. и др., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 Article 110954
Добавлено: 29 октября 2026 г.
Добавлено: 27 октября 2026 г.
Stepan L. Kuznetsov, , in: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689)Vol. 16689.: Cham: Springer, 2026. P. 161–177.
Добавлено: 26 июля 2026 г.
Шехтман В. Б., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
Добавлено: 30 июня 2026 г.
Кузнецов С. Л., Успехи математических наук 2026 Т. 81 № 1(487) С. 137–204
Итерация (звёздочка) Клини – это одна из наиболее интересных алгебраических операций, встречающихся в теоретической информатике. Исследования структур с этой операцией – алгебр Клини и их расширений – начинаются с классического понятия регулярных выражений, задающих формальные языки. Впоследствии были введены так называемые алгебры действий (В. Пратт, 1991 г.; Д. Козен, 1994 г.), или алгебры Клини с делениями. В этих структурах звёздочка Клини сочетается с делениями, согласованными с частичным порядком (такие ...
Добавлено: 4 февраля 2026 г.
Грефенштейн А. В., Сперанский С. О., Математический сборник 2024 Т. 215 № 3 С. 37–69
Разрабатывается кванторная версия пропозициональной модальной логики BK из статьи С. П. Одинцова и Х. Вансинга, в основе которой лежит (немодальная) система Белнапа–Данна; мы будем обозначать эту версию через QBK. Сначала с помощью метода канонических моделей будет доказано, что QBK — как и некоторые важные её расширения — сильно полна относительно подходящей семантики возможных миров. Затем мы ...
Добавлено: 26 декабря 2025 г.