?
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.
Language:
English
Publication based on the results of:
СПб.: Издательство РХГА, 2026.
Макс Шелер (1874–1928) является одной из ключевых фигур в философии XX века. Прожив сравнительно короткую жизнь, он оставил яркий след в европейской философской мысли, в своих сочинениях осуществив глубокую и фундаментальную разработку основных областей философского знания. Всегда чувствуя актуальные тенденции современного мира и живо, со всей страстью своей спонтанности откликаясь на них, Шелер не случайно ...
Added: October 20, 2026
Ортега-и-Гассет Х., М.: Ад Маргинем Пресс, 2026.
This book brings together two texts by the Spanish philosopher José Ortega y Gasset (1883–1955) that explore the role of technology throughout history: "Meditations on Technology"—originally a short series of lectures delivered at the Summer University of Santander in 1933—and the paper "The Myth of Man Behind Technology" (1951), presented as part of the "Darmstadt ...
Added: October 20, 2026
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Added: October 19, 2026
Vorontsova T., М.: Академия, 2025.
The textbook has been prepared in accordance with the requirements of the federal state educational standards for secondary vocational education and is intended for studying the professional modules “Information Security in Information and Telecommunication Systems and Networks Using Software and Hardware‑Software Tools, Including Cryptographic Protection Tools” and “Information Security in Automated Systems Using Software and ...
Added: October 19, 2026
Nosachev P., Studia Religiosa Rossica: научный журнал о религии 2026 № 3 С. 193–200
Book review: Davies O. Troubled by faith: Insanity and the supernatural in the age of the asylum. Oxford: Oxford University Press, 2023. 336 p. ...
Added: October 19, 2026
Pruzhinin B. I., Лекторский В. А., Марцинковская Т. Д. et al., Вопросы философии 2026 № 8 С. 5–38
On April 25, 2026, the journal “Voprosy Filosofii” hosted a “round table” titled “The Interdisciplinarity of Contemporary Science as a Philosophical Problem. The Style of Thinking of Vladimir Petrovich Zinchenko”, dedicated to the 90th anniversary of this legendary Russian psychologist and philosopher. The discussion brought together epistemologist philosophers, specialists in neuroscience and the methodology of ...
Added: October 18, 2026
Naumov A., Рубцов А. С., Samsonov S. et al., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Added: October 17, 2026
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
We provide an infinite series of commutative finite-dimensional Gorenstein local algebras A_n for n ≥ 2. We give an elementary proof that the maximal ideal of every algebra A_n possesses a one-dimensional subspace that is different from the socle and invariant under the automorphism group of A_n. The latter implies that the algebras A_n fail ...
Added: October 17, 2026
Gordin V. A., Efremenko D., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Added: October 16, 2026
Kuznetsov A. P., Sedova Y. V., Stankevich N., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
We analyze the interaction of a quasi-periodic subsystem, in which two-, three-, and four- frequency quasi-periodic oscillations are possible, with a chaotic subsystem. A discrete version is obtained via the Euler scheme from the corresponding flow model. The dynamics of individual subsystems are discussed, including quasi-periodic bifurcations of invariant tori and the occur rence of ...
Added: October 16, 2026
Aleksei Samarin, Nazarenko A., Nazarenko D. et al., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Automated microscopic image analysis is essential for quantitative microbiology, yet manual acquisition and generic recognition models struggle with morphological variability and scene artifacts. We address both ends of this pipeline. First, we present a low-cost, open-source acquisition system, based on an Arduino UNO R3 microcontroller and NEMA 17 stepper motors, that automates focusing, magnification, and ...
Added: October 14, 2026
Parkhomenko V., Kulikova S., Buzmakov A. V., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
The stability of formal concepts and its generalization as robustness are considered in the paper. We use an approximation of stability in the form of Δ-measure for fast calculations. A computationally efficient method for calculating robustness based on subcontexts is presented. We also present a new method to analytically evaluate the number of preimages for ...
Added: October 14, 2026
Kuznetsov A. P., Sedova Y. V., Sataev I. R. et al., Mathematics and Computers in Simulation 2027 Vol. 2 P. 574–592
Universal bifurcation structures on the parameter plane of nonlinear systems, known as shrimps, are discussed. An overview of numerous examples from various fields of science is given. Shrimps are typical for both maps of different dimensions and flows. The varieties of shrimp are discussed and relevant examples are given. The similarity property on the parameter ...
Added: October 14, 2026
Gusein-Zade S., Campillo A., Delgado F., Mathematische Zeitschrift 2026 Vol. 314 No. 1 P. 1–22
For a subfield $\K$ of the field $\C$ of complex numbers, we consider curve and divisorial valuations on the algebra $\K[[x,y]]$ of formal power series in two variables with the coefficients in $\K$. We compute the semigroup Poincar\'e series and the classical Poincar\'e series of a (discrete, rank one) valuation on it. ...
Added: October 13, 2026
Zhukova O., Вопросы философии (Российская Федерация) 2026 № 10 С. 214–222
The article is devoted to current discussions in the field of Russian religious philosophy research and teaching practices in Russian state and confessional universities. It summarizes the discussion of theoretical and practical aspects of studying Russia’s philosophical heritage and its tradition of religious thought, which were discussed at the Round table “Russian Religious Thought in ...
Added: October 13, 2026
Knyazeva H., Вопросы философии 2026 № 10 С. 82–93
This article provides a philosophical analysis of Richard Buckminster Fuller’s synergetics as the foundation of systemic and creative design in the context of digitalization and the increasing complexity of modern forms of interaction.
The study centers on the idea of form as an active principle for organizing action, thought, and distributed agency. It is demonstrated that ...
Added: October 12, 2026
ИДВ РАН, 2026.
This paper addresses the issue perceiving the national Vietnamese costume as a tool of cultural representation in the context of official state events held in Vietnam and abroad. The study focuses on specific cases of protocol visits, meetings, forums, and beauty contests, where the ao dai and other types and elements of national clothing are ...
Added: October 12, 2026
Mishuris G., Meylan M. H., Pelinovsky E., Journal of Fluid Mechanics 2026 Vol. 1045 Article A4
In this paper, we revisit the classic problem of a wave field on a sloping beach of an arbitrary angle and propose a general approach that allows the computation of regular solutions of the problem regardless of the angle. We use the Mellin-transform technique, reducing the problem to singular integral equations with fixed-point singularities of ...
Added: October 12, 2026
Gusein-Zade S., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Added: October 12, 2026
Kharitonov T. I., Человек 2026 Т. 37 № 5 С. 7–24
The article offers a philosophical reconstruction of the forms of explaining evil in Dostoevsky’s works within the context of post-secular theory and the theory of the compensation of modernity developed by O. Marquard and H. Lübbe. The problematization of evil in the writer’s oeuvre is examined from a diachronic perspective as a transition from the aestheticism of ...
Added: October 11, 2026
Shamkanov D. S., Logic Journal of the IGPL 2024 P. 1–46
We consider an extension of the modal logic of transitive closure K+ with certain infinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. We establish continuous cut-elimination for the given calculus using fixed-point theorems for contractive mappings. The infinitary derivations mentioned above are well founded and countably branching, while the non-well-founded proofs ...
Added: January 29, 2025
Shamkanov D. S., / Series arXiv "math". 2023.
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since ...
Added: November 14, 2023
Kikot S., Shapirovsky I., Zolin E., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
We give a sufficient condition for Kripke completeness of modal logics that have the transitive closure modality. More precisely, we show that if a modal logic admits what we call definable filtration, then its enrichment with the transitive closure modality (and the corresponding axioms) is Kripke complete; in addition, the resulting logic has the finite ...
Added: December 2, 2020
Savateev Y., Shamkanov D. S., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 569–583.
We present a sequent calculus for the weak Grzegorczyk logic 𝖦𝗈 allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. ...
Added: September 16, 2019