?
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 514. № 1. С. 123–128.
In this paper analogues of Herbrand’s and Harrop’s theorems for the logic QHC are proved.
Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.
This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...
Added: July 9, 2026
Springer, 2027.
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education. LNCS enjoys close cooperation with the computer science R & ...
Added: July 8, 2026
Маликов М. А., Монахова Э. А., Rzaev E. et al., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
This article examines series of families of two-dimensional circulant networks with rectangular
L -shapes, optimal in diameter, as network-on-chip topologies with a minimal number of crossings
between the links and a bounded length of the maximum link that does not depend on the network
size. New network-on-chip routing algorithms, which use the coordinates of three adjacent zeros in
the ...
Added: July 8, 2026
Pilé I., Shchur L., Deng Y., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 Article 014101
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Swendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for models in different universality classes: Ising model, Potts model with three components, and four-state Potts model. The overlap of two ...
Added: July 6, 2026
Irkutsk: ISDCT SB RAS, 2026.
We study a model problem on the filtration of a conducting fluid through a
porous layer. A porous medium is presented as an assemblage of identical spherical
cells. Each cell consists of a porous core and liquid shell. We derive apriori estimates
for flow characteristics which show the specific behavior of the fluid. Our estimates
are validated numerically. ...
Added: July 5, 2026
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г.
Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций.
Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы.
Переход к глобальному информационному ...
Added: July 4, 2026
МФТИ, 2025.
абота редакции научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.
Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Added: July 4, 2026
Springer, 2026.
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of ...
Added: June 30, 2026
Pochinka O., Barinova M., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
In the present paper we consider an Ω-stable 3-diffeomorphism with a solid or thickened surfaced non-trivial basic set. Such basic sets include, for instance, all one-dimensional expanding attractors and those two-dimensional basic sets that are not expanding. We prove that the chain recurrent set of every such a diffeomorphism necessarily contains at least two non-trivial ...
Added: June 30, 2026
German O., Illarionov A., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Added: June 29, 2026
Onoprienko A., Математические заметки 2026 Т. 120 № 1 С. 118–139
This paper considers the intuitionistic epistemic logics IEL−, IEL, and IEL+, introduced by S. Artyomov and T. Protopopescu. A translation of the formulas of these logics into the formulas of the classical bimodal logic S4V−M, S4VM, S4V+M, and S4V+MU is constructed. This translation is a generalization of Gödel's translation of intuitionistic logic into S4 logic. ...
Added: June 22, 2026
Артёмов С. Н., Beklemishev L. D., Гончаров С. С. et al., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Added: December 27, 2025
Onoprienko A., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Added: October 2, 2025
Vasyukov V. L., Ученые записки Крымского федерального университета имени В.И. Вернадского. Философия. Политология. Культурология 2024 Т. 10 № S С. 104–112
In European philosophy, the motifs of self-nonidentity and the variability it implies are found as early as Heraclitus. The concept of changeability and self-nonidentity can also be found in the East, for example, among the Mu’tazilites, representatives of the direction of Arab-Muslim philosophy that arose in the first centuries of the formation of Islam and ...
Added: December 26, 2024
Rybakov M., Onoprienko A., В кн.: Международная конференция Мальцевские чтения: 11–15 ноября 2024 г.: тезисы докладов.: [б.и.], 2024. С. 44–44.
Доказывается PSPACE-трудность логики HC с одной переменной. ...
Added: November 17, 2024
Onoprienko A., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Added: January 31, 2024
Onoprienko A., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
The joint logic of problems and propositions QHC introduced by S. A. Melikhov, as well as intuitionistic modal logic QH4, is studied. An immersion of these logics into classical first-order predicate logic is considered. An analog of the Lowenheim-Skolem theorem on the existence of countable elementary submodels for QHC and QH4 is established. ...
Added: November 4, 2023
M.: ., 2023.
Abstracts of the conference SCAN 2023 -- Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023). ...
Added: July 7, 2023
Onoprienko A., Вестник Московского университета. Серия 1: Математика. Механика 2022 № 5 С. 25–30
The propositional fragment HC of the joint logic of problems and propositions introduced by S.A. Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic HC with respect to this type of models is shown. Topological models of the logic H4 introduced by S. Artemov and T. Protopopescu are also constructed. ...
Added: December 22, 2022
Onoprienko A., Математический сборник 2022 Т. 213 № 7 С. 97–120
Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и ...
Added: July 11, 2022
Onoprienko A., Математический сборник 2020 Т. 211 № 5 С. 98–125
In this paper we study the propositional fragment of the joint logic of problems and propositions HC introduced by Melikhov. We provide Kripke semantics for this logic and show that HC is complete with respect to those models and has the finite model property. We consider examples of the HC-models usage. In particular, we prove ...
Added: October 20, 2020
Rybakov M., University of the Witwatersrand, Johannesburg, 2019.
Modal logics, both propositional and predicate, have been used in computer science since the late 1970s. One of the most important properties of modal logics of relevance to their applications in computer science is the complexity of their satisfiability problem. The complexity of satisfiability for modal logics is rather high: it ranges from NP-complete to ...
Added: October 5, 2019