?
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Journal of Logic and Computation. 2025. Vol. 35. No. 2. Article exad078.
Рыбаков М. Н., Shkatov D.
Добавлено: 27 апреля 2026 г.
Tsareva O. O., Malova H. V., V. Yu. Popov и др., Plasma Physics Reports 2026 Vol. 52 No. 2 P. 179–185
Добавлено: 27 апреля 2026 г.
Добавлено: 24 апреля 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 25
Добавлено: 23 апреля 2026 г.
Казарян М. Э., Ландо С. К., Коданева Н. М., Journal of Geometry and Physics 2026 No. 225 Article 105841
Добавлено: 23 апреля 2026 г.
Кычкин А. В., Черницин И. А., Прикладная информатика 2026 Т. 21 № 1 С. 40–58
Представлены результаты разработки программного микросервиса, встраиваемого в системы мониторинга качества атмосферного воздуха для поддержки процессов идентификации промышленных источников загрязнений. Выброс и последующее распространение вредных веществ в приземистых слоях атмосферы происходит в динамике и характеризуется высокой неопределенностью из‑за особенностей технологических установок, их режимов работы, влияния рельефа местности, зданий и метеофакторов. Зависимости между местоположением источника выброса и ...
Добавлено: 23 апреля 2026 г.
IEEE, 2026.
Добавлено: 21 апреля 2026 г.
Галкин О. Е., Галкина С. Ю., Ястребова И. Ю., Журнал Средневолжского математического общества 2026 Т. 28 № №1 С. 11–30
Многочлены, наименее уклоняющиеся от нуля, играют важную роль в теории и практике использования численных методов. С их помощью можно решать задачи оптимизации свойств различных вычислительных алгоритмов. Наша работа посвящена изучению многочленов, наименее уклоняющихся от нуля на луче в экспоненциальной норме. В настоящей статье мы обсуждаем вопрос о существовании, единственности и характеризации многочленов, наименее уклоняющихся от нуля ...
Добавлено: 20 апреля 2026 г.
A. V. Pereskokov, Theoretical and Mathematical Physics 2026 Vol. 226 No. 3 P. 470–484
Добавлено: 12 апреля 2026 г.
Колачев Н. И., Адамский А. И., Дроздов Д. С. и др., Моделирование и анализ данных 2026 Т. 16 № 1 С. 157–176
Контекст и актуальность. Несмотря на широкое распространение компетентностного подхода в высшем образовании, сохраняется разрыв между пониманием компетентности как динамического процесса и инструментами её проектирования и управления. Доминирующие практики фиксации результатов обучения ориентированы на статические «срезы», что ограничивает возможности прогнозирования и целенаправленного развития компетентности. В этой связи актуализируется необходимость формального моделирования траекторий развития компетентности на основе принципов ...
Добавлено: 10 апреля 2026 г.
Зверева В. А., Вопросы экономики 2026 № 4 С. 100–129
Проверяется гипотеза о наличии асимметрии в реакции банковских ставок на сдерживающую и стимулирующую денежно-кредитную политику (ДКП) Банка России в различных сегментах, отраслях и макрорегионах в период с 2017 по 2025 г. С использованием модели коррекции ошибок с марковским переключением режимов оценено влияние шоков ДКП, инфляционных ожиданий населения, ценовых ожиданий бизнеса и индикатора бизнес-климата на ставки ...
Добавлено: 8 апреля 2026 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Archive for Mathematical Logic 2013 Vol. 52 No. 5–6 P. 507–516
We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates — which are strongly related to definability in ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Izvestiya. Mathematics 2025 Vol. 89 No. 3 P. 193–211
Let QPL-e expand the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990] by adding quantifiers over arbitrary events; it can be viewed as a one-sorted elementary language for reasoning about probability spaces. We prove that the $\Sigma_2$-fragment of the QPL-e-theory of finite spaces is hereditarily undecidable. By earlier observations, this implies that $\Pi_2$ is the ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 2 Article jzae042
This paper is concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from [Fagin et al. 1990, Section 6]. ...
Добавлено: 26 декабря 2025 г.
[б.и.], 2024.
The book contains short papers presented at AiML 2024. ...
Добавлено: 15 августа 2024 г.
College Publications, 2024.
Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...
Добавлено: 14 августа 2024 г.
Добавлено: 7 июля 2023 г.
Семенов А. Л., Сопрунов С. Ф., Чебышевский сборник 2021 Т. 22 № 1(77) С. 304–327
В статье представлены результаты и открытые проблемы, относящиеся к пространствам определимости (редуктам), а также источникам этой области, начиная с XIX века. Исследуются условия конечности и ограничения, в том числе глубина чередования кванторов и число аргументов. Описаны результаты, относящиеся к описанию решеток пространств определимости для числовых и других естественных структур. Методы исследования включают изучение групп автоморфизмов ...
Добавлено: 11 марта 2023 г.