?
On algebraic and topological semantics of the modal logic of common knowledge S4CI
Logic Journal of the IGPL. 2024. Vol. 32. No. 1. P. 164–179.
For the modal logic S4CI, we identify the class of completable S4IC-algebras and prove for them a Stone-type representation theorem. As a consequence, we obtain strong algebraic and topological completeness of the logic S4CI in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish the corresponding strong completeness results for the enriched system in the case of global semantic consequence relations.
Sergey Slavnov, / Series math "arxiv.org". 2026.
A prototypical example of categorial grammars are those based on Lambek calculus, i.e. noncommutative intuitionistic linear logic. However, it has been noted that purely noncommutative operations are often not sufficient for modeling even very simple natural language phenomena. Therefore a number of alternative formalisms are considered in the literature: those using purely ``commutative'' linear logic ...
Added: October 29, 2026
Ivanov D., ИНТЕРакция. ИНТЕРвью. ИНТЕРпретация 2026 Т. 18 № 2 С. 13–29
This article addresses a methodological contradiction that arises when attempting to in- corporate artificial intelligence (AI) into qualitative sociological research grounded in the in- terpretivist paradigm. While in quantitative research, AI, at least at first glance, seamlessly fits into the natural-scientific ideal of “instrumental distancing”, for the qualitative tradition, which demands contextual sensitivity and proximity ...
Added: October 28, 2026
Roman Prosvirnin, Suslov A., Aleksei Soldatov et al., Computation 2026 Vol. 14 No. 10 Article 261
Abstract
Safety-aligned language models often encode that a request is harmful yet still comply with it. We turn this gap between internal recognition and observable behavior into an inference-time defense. The proposed activation-steering method uses a multiplicative operator that amplifies the residual-stream component along a harm-recognition direction. Intervention strength scales with the model’s own assessment of ...
Added: October 27, 2026
Aleksei Samarin, Nazarenko A., Nazarenko D. et al., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52
Camera traps are a key tool for non-invasive wildlife monitoring, yet models trained on existing benchmarks often generalize poorly to new regions due to domain shift, class imbalance, and natural variability in illumination, season, and background. We introduce PACTraD, a benchmark of 116,973 annotated camera trap images collected in a protected area of the Baikal ...
Added: October 27, 2026
IEEE, 2026.
Proceedings of the X Scientific School "Dynamics of Complex Networks and their Applications"
(DCNA'2026) contain papers of reports of scientists and specialists in the field of intelligent technologies,
engineering education, research and design of complex networks.
DCNA'2026 was held from 10 to 12 September 2026 in Moscow, Russia, as a part of the International
Forum on Artificial Intelligence and ...
Added: October 26, 2026
Козлова С. М., Вестник РГГУ. Серия «Литературоведение. Языкознание. Культурология» 2026 № 5 С. 160–173
The article examines the history of astronomical knowledge development among Mongolian peoples, from initial observations of celestial bodies’ movements to institutionalized research during the Yuan dynasty (1271–1368) at Khan Khubilai’s court (1260–1294), the late Ming dynasty (1601–1644), and the Qing dynasty (1644–1912). The study draws on Chinese astronomical and astrological works – “Chongzhen Calendar” (崇禎曆書), ...
Added: October 26, 2026
Flamarion M. V., Pelinovsky E., Wave Motion 2027 Vol. 148 Article 103867
We consider the interaction of two solitary waves in the modified Benjamin–Bona–Mahony
(mBBM) equation in a regime where a small parameter measures the departure from the classical
modified Korteweg–de Vries (mKdV) equation. A regular perturbation method is used to
analyze the modification of the two-soliton wave field induced by the weak non-integrability of
the mBBM equation. We show that, ...
Added: October 23, 2026
Doronina A., Философические письма. Русско-европейский диалог 2026 Т. 9 № 3 С. 89–105
The article analyzes Vyacheslav Ivanov’s concept of humanism by juxtaposing two texts on the subject — “Cliffs: On the Crisis of Humanism” (1919) and the letter to Alessandro Pellegrini concerning “Docta Pietas” (1934) — to show the shift from an early, predominantly critical stance toward a later, reinterpretive, Christ-centred rehabilitation of the concept. It raises ...
Added: October 22, 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
Солнышкина М. И., Андреева М. И., Русистика 2026 Т. 24 № 1 С. 120–137
Растущий интерес к российскому образованию, культуре и науке в значительной степени определяет насущную потребность в разработке инструментария подбора учебных текстов по русскому языку как иностранному (РКИ). Цель исследования — разработать алгоритм и инструментарий оценки лексической сложности текста РКИ (по CEFR) с использованием больших языковых моделей (LLM). Исследование выполнено на материале обучающей выборки, включающей стандартизированные лексические ...
Added: October 19, 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
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
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
Vilinbakhova E., Escandell-Vidal V., Zevakhina N., Journal of Pragmatics 2022 Vol. 191 P. 55–66
In the literature on nominal tautologies, it is assumed that common knowledge is a crucial ingredient for their interpretation. This paper explores a different approach: we argue that invoking shared knowledge is at the same time too strict and too vague as a condition for the understanding of tautologies in context. More specifically, we claim ...
Added: February 8, 2022
Shamkanov D. S., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 581–596.
The provability logic GLP introduced by G. Japaridze is a propositional polymodal logic with important applications in proof theory, specificially, in ordinal analysis of arithmetic. Though being incomplete with respect to any class of Kripke frames, the logic GLP is complete for its neighbourhood interpretation. This completeness result, established by L. Beklemishev and D. Gabelaia, implies ...
Added: October 6, 2020