?
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness
Logic Journal of the IGPL. 2024. Vol. 32. No. 3. P. 465–492.
FRUCT Oy, 2024.
Добавлено: 19 сентября 2026 г.
FRUCT Oy, 2025.
Добавлено: 19 сентября 2026 г.
FRUCT Oy, 2026.
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Kotenko E. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 8 P. 1–26
Добавлено: 19 сентября 2026 г.
Кузютин Д. В., Смирнова Н. В., Veselkov A., Bulletin of the South Ural State University, Series: Mathematical Modelling, Programming and Computer Software 2026 Vol. 19 No. 3 P. 40–49
Рассматриваем динамическую многокритериальную модель управления рыболовством, учитывающую процесс миграции ресурса между зоной свободного вылова и природоохранной зоной, где промысел запрещен. Предложенное обобщение стандартной однокритериальной игровой модели подразумевает, что каждый игрок стремится одновременно максимизировать два критерия: экономическую выгоду и экологический критерий (поддержание размеров популяции в каждой зоне). В статье изучается игра с двумя игроками, имеющими различную ...
Добавлено: 18 сентября 2026 г.
Ероховец Николай Юрьевич, Математический сборник 2026 Т. 217 № 5 С. 45–89
В торической топологии каждому простому n-мерному многограннику P с m гипергранями сопоставляется n-мерное вещественное момент-угол многообразие RZP с каноническим действием группы Zm2=(Z/2Z)m. В статье рассматриваются (не обязательно свободные) действия подгрупп H⊂Zm2 на RZP. На пространстве орбит N(P,H)=RZP/H действует факторгруппа Zm2/H. Для произвольной размерности n вводится понятие гамильтонова C(n,k)-подкомплекса в границе n-мерного многогранника P. Оно обобщает понятия гамильтонова цикла (k=2), гамильтонова тэта-подграфа ...
Добавлено: 17 сентября 2026 г.
Казаков А. О., Корякин В. А., Сафонов К. А. и др., Journal of Differential Equations 2026 Vol. 480 Article 114626
Добавлено: 16 сентября 2026 г.
Добавлено: 16 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Смирнов С. В., Миллионщиков Д. В., Уфимский математический журнал 2021 Т. 13 № 2 С. 44–73
В данной работе изучаются характеристические алгебры для систем экспоненциального типа, соответствующих вырожденным матрицам Картана. Эти системы обобщают хорошо известные в теории интегрируемых систем гиперболические уравнения синус-Гордон и Цицейки. Для таких систем, соответствующих матрицам Картана ранга 2, характеристические алгебры описаны явно в терминах образующих и соотношений, и доказано, что они имеют линейный рост. Исследуется связь между ...
Добавлено: 11 сентября 2026 г.
Смирнов С. В., Glasgow Mathematical Journal 2026 Vol. 68 No. 2 P. 299–316
Добавлено: 11 сентября 2026 г.
Смирнов С. В., Journal of Physics A: Mathematical and Theoretical 2023 Vol. 56 No. 26 Article 265204
Добавлено: 11 сентября 2026 г.
Энатская Н. Ю., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 132–138
В схемах S размещения r частиц по n различимым ячейкам изучаются их размещения в выделенных m ячейках – схем S∗, для которых проводится анализ новым перечислительным методом (ПМ) по расширенным направлениям перечислительной комбинаторики: нахождения числа исходов и на основе построения модели их бесповторного нумерованного перечисления – решения для них задачи нумерации в прямой и обратной ...
Добавлено: 11 сентября 2026 г.
Энатская Н. Ю., Труды Карельского научного центра РАН. Серия 10: Математическое моделирование и информационные технологии 2026 № 6 С. 139–147
Рассматриваемый класс схем размещения частиц по ячейкам характеризуется введением верхнего ограничения уровней заполнения ячеек с его обязательным достижением хотя бы в одной ячейке каждого исхода каждой схемы. Схемы различаются между собой парными качествами составляющих их элементов (ячеек и частиц) по их различимостям. Из направлений исследования схем выделяются представляющие наибольший интерес по нестандартным приемам доасимптотического анализа ...
Добавлено: 11 сентября 2026 г.
Подиновский В. В., Нелюбин А. П., Автоматика и телемеханика 2026 № 8 С. 110–123
Для многокритериальных задач принятия решений по аналогии с качественной вероятностью введены понятия полной и частичной качественной важности как бинарных отношений, обладающих постулируемыми
свойствами. Предложено новое определение отношения нестрогого предпочтения на множестве вариантов решений, порождаемое качественной
важностью. Исследованы его свойства. Указаны аналитические правила,
позволяющие попарно сравнивать варианты по предпочтительности. Проведено сравнение новых отношений предпочтения с разработанными ранее для задач, ...
Добавлено: 9 сентября 2026 г.
Подиновский В. В., Нелюбин А. П., Автоматика и телемеханика 2026 № 7 С. 113–126
Рассматриваются задачи принятия решений, когда предпочтения оцениваются в порядковой шкале, а возможности реализации значений
неопределенного фактора описываются качественной вероятностью (полной или только частичной). Вводятся определения отношений предпочтения и безразличий на множестве стратегий. Предлагаются простые
решающие правила, позволяющие сравнивать стратегии по предпочтительности, и приводятся иллюстративные примеры. ...
Добавлено: 9 сентября 2026 г.
Александров А. А., Глуцюк А. А., Journal of Differential Equations 2026 Vol. 465 Article 114178
Добавлено: 8 сентября 2026 г.
Сперанский С. О., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 105–126
The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Добавлено: 26 декабря 2025 г.