?
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.
Volodin A., Цифровые гуманитарные исследования 2025 № 2 С. 84–116
В статье предлагается периодизация развития цифровых гуманитарных исследований (Digital Humanities, DH) в первой четверти XXI века, основанная на трёх последовательных этапах, каждый из которых объясняется через соответствующую социологическую концепцию науки. Первый этап (2004–2012 гг.) — период самоопределения и формирования «академических племён и территорий», когда DH осознавали себя как междисциплинарное поле с уникальной методологией. Второй этап ...
Added: June 5, 2026
Medvedev T. V., Pochinka O., Chaos 2026 Vol. 36 No. 6 Article 063107
We consider 3-diffeomorphisms with source–sink dynamics where Smale solenoids play the role of the source and the sink (NSSS-diffeomorphisms). It is known that such diffeomorphisms exist only on lens spaces. On the 3-sphere, every NSSS-diffeomorphism is associated with an exchangeable braid. An exchangeable braid with the strand number n was constructed for each n 3 in such a way ...
Added: June 4, 2026
Nozdrinova E., Pochinka O., Shmukler V., Математический сборник 2026 Т. 217 № 6 С. 71–89
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Added: June 3, 2026
Gnetov F., Konakov V., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Added: June 2, 2026
Balakireva M., Новое литературное обозрение 2026 № 2 (198) С. 225–237
The article focuses on the study of unofficial translations from French, specifically the translation of Boris Vian’s short stories, published in «Mitin Journal». By examining the features of these translations, we can better understand the role of language in samizdat and rethink the position of the unofficial translator, who is opposed to the official translator ...
Added: June 1, 2026
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
A classic problem in data analysis is studying the systems of subsets defined by either a similarity or a dissimilarity function on X which is either observed directly or derived from a data set.
For an electrical network there are two functions on the set of the nodes defined by the resistance matrix and the response ...
Added: May 28, 2026
Degtyarev A., Bakhurin S., Yudin N., DSPA 2026 P. 1–6
This paper investigates one possible solution to the problem of self-interference cancellation (SIC) arising in the design of in-band full-duplex (IBFD) communication systems. Self-interference cancellation is performed in the digital domain using multilayer nonlinear models adapted via gradient-based optimization. The presence of local minima and saddle points during the adaptation of multilayer models limits the ...
Added: May 26, 2026
Yu.S. Ilyashenko, S. Minkov, I. Shilin, Russian Journal of Mathematical Physics 2026 Vol. 33 No. 1 P. 89–106
In this paper, new numerical invariants of structurally unstable vector fields in the plane
are found. One of the main tools is an improved asymptotics of sparkling saddle connections that
occur when a separatrix loop of a hyperbolic saddle breaks. Another main tool is a new topological
invariant of two arithmetic progressions, both perturbed and unperturbed, on the ...
Added: May 26, 2026
Helen Selorm Wohoyie, Anikin V. A., Tomsk State University Journal of Philosophy, Sociology and Political Science 2026 Vol. 90 P. 204–211
Menstrual health serves as a critical litmus test for state intervention in contexts where women’s bodily experiences are historically shaped by stigma, cultural taboos, and structural violence. Drawing on Joseph Gusfield’s theory of social problems, this review traces the moral passage of menstruation in Ghana (1992–2025) from a privately managed, stigmatized phenomenon to a matter ...
Added: May 26, 2026
Gusev I., Maksaev A., Promyslov V., Journal of Mathematical Sciences 2025 Vol. 299 No. 6
The regular graph of the space of n × m matrices over a field F is defined as the undirected graph whose vertices are matrices of rank min(n, m), and distinct matrices A and B are connected by an edge if and only if rk(A + B) < min(n, m). In this paper, for |F| ...
Added: May 25, 2026
Luzyanin S., Семенова Н. К., Азия и Африка сегодня 2026 № 5 С. 14–29
Added: May 25, 2026
Tyukin I., Tyukina T., van Helden D. P. et al., Information Sciences 2024 Vol. 678 Article 120856
AI errors pose a significant challenge, hindering real-world applications. This work introduces a novel approach to cope with AI errors using weakly supervised error correctors that guarantee a specific level of error reduction. Our correctors have low computational cost and can be used to decide whether to abstain from making an unsafe classification. We provide ...
Added: May 23, 2026
Zaikin A., Sviridov I., Sosedka A. et al., Technologies 2026 Vol. 14 No. 2 Article 84
High-dimensional tabular data are common in biomedical and clinical research, yet conventional machine learning methods often struggle in such settings due to data scarcity, feature redundancy, and limited generalization. In this study, we systematically evaluate Synolitic Graph Neural Networks (SGNNs), a framework that transforms high-dimensional samples into sample-specific graphs by training ensembles of low-dimensional pairwise ...
Added: May 23, 2026
Chertopolokhov V., Mukhamedov A., Bugriy G. et al., IEEE Access 2026 Vol. 14 P. 14369–14392
This study presents on-the-fly identification and multi-step prediction of nonlinear systems with delayed inputs using a dynamic neural network combined with a smooth projection onto ellipsoids. The projection enforces parameter constraints that guarantee stability, while a Lyapunov–Krasovskii analysis yields computable ultimate error bounds. Riccati-type matrix inequalities are derived, providing an efficient vectorization–projection–devectorization implementation suitable for ...
Added: May 22, 2026
Stanislav Morozov, Calcolo 2026 Vol. 63 No. 2 Article 23
The approximation of tensors in a low-para metric format is a crucial component in many mathematical modelling and data analysis tasks. Among the widely used low-parametric representations, the canonical polyadic (CP) decomposition is known to be very efficient. Nowadays, most algorithms for CP approximation aim to construct the approximation in the Frobenius norm; however, some ...
Added: May 22, 2026
Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 Article 18
A B-facet is a lattice -dimensional polytope in the positive octant with a positive normal covector, such that every -dimensional simplex with vertices in it is a B-simplex (i.e., a pyramid of height one with base on a coordinate hyperplane). B-facets were introduced in [2] in the context of the monodromy conjecture. In this paper, we complete the ...
Added: May 21, 2026
Ausubel L., Baranov O., Journal of Economic Theory 2026 Vol. 235 Article 106192
The Vickrey-Clarke-Groves (VCG) mechanism is one of the most compelling constructs in mechanism design, but the presence of complementary goods creates the possibility of non-core and even zero-revenue outcomes. In this article, we show that joint feasibility constraints on allocations offer a second pathway to ill-behaved outcomes in the VCG mechanism, even when all bidders ...
Added: May 20, 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
Geurts L. B., Battich L., Synthese 2020
Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, ...
Added: June 25, 2020
Shamkanov D. S., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776–796
We consider Hilbert-style non-well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics. ...
Added: December 20, 2019
Dmitriev P. M., , in: La vertu des païens.: P.: Editions Kimé, 2019. P. 215–240.
- ...
Added: April 1, 2019