?
Notes on the computational aspects of Kripke’s theory of truth
Studia Logica. 2017. Vol. 105. No. 2. P. 407–429.
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.
Салагай О. О., Сахарова Г. М., Антонов Н. С. et al., Вопросы наркологии 2025 Т. 37 № 1 С. 27–43
In order to study the prevalence of signs of nicotine dependence among tobacco/nicotine users and the level of medical care for tobacco/nicotine use in addiction treatment organizations in the Russian Federation in 2013-2023, we have analyzed microdata from a sample observation of the health status of the population conducted in 2023. The analysis of the ...
Added: April 10, 2026
Yerbolova A. S., Tomashchuk K., Kogan A. et al., Complexity 2026 Vol. 2026 No. 1 Article 5519690
Tis paper presents a novel approach to analyzing and grouping natural languages based on the degree of their chaoticity. It clusters 52 languages from 18 language families, according to the value of the entropy–complexity pair, to reveal the chaotic properties of semantic trajectories. Te obtained clusters appear to be closely correlated with the family of ...
Added: February 16, 2026
Tulchinskii G. L., СПб.: Политех-Пресс, 2025.
This monograph is devoted to the analysis of reality, one of the most complex and polysemantic concepts in contemporary philosophy.It presents various approaches and methods for analyzing reality, including methodological research, historical-philosophical analysis, and socio-critical analysis. The monograph combines research from various fields of philosophical knowledge, including the philosophy of science, ontology, logic, epistemology, social philosophy, and aesthetics. ...
Added: January 29, 2026
D.B. Tiskin, Frolov K., Herald of the Russian Academy of Sciences 2025 Vol. 95 No. 1 P. 26–33
By de re propositional attitude ascription for rhetorical purposes we will understand uttering a modal statement wherein the speaker deliberately uses a description of the object of an attitude that is knowingly unavailable for the attitude holder. As the existence of the de re rhetorical statement class is revealed, it gives rise to two questions, which will be the primary concern ...
Added: January 26, 2026
Speranski S. O., 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 ...
Added: December 27, 2025
Speranski S. O., Computability 2015 Vol. 4 No. 2 P. 159–174
Added: December 27, 2025
Kuznetsov S., Speranski S. O., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Added: December 26, 2025
Kuznetsov S., Speranski S. O., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Added: December 26, 2025
Speranski S. O., 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]. ...
Added: December 26, 2025
Speranski S. O., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Added: December 26, 2025
LePoire D., Grinin L. E., Korotayev A., Journal of Big History 2025 Vol. 8 No. 3 P. 98–139
Building on foundational work in systems theory, thermodynamics, and evolutionary theory, this paper argues that complexity can serve as a conceptual bridge across disciplines. It explores the role of complexity dynamics in Big History through an integrative theoretical framework that spans physical, chemical, geological, biological, social, cognitive, and civilizational domains. By examining how complexity emerges, ...
Added: November 1, 2025
Yury Semenov, Oleg Sukhoroslov, , in: Mathematical Optimization Theory and Operations Research 24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7–11, 2025, ProceedingsVol. 15681.: Switzerland: Springer, 2025. P. 317–331.
Added: September 17, 2025
Arzhantsev I., Functional Analysis and Its Applications 1997 Vol. 31 No. 4 P. 278–280
Let a connected reductive group G act on a normal affine variety X with the generic stabilizer H, let the complexity of this action be one, and let the categorial quotient X//G be one-dimensional. Then the closure of any G-orbit in X is normal. ...
Added: June 13, 2025
Gnidchenko A., Монокль 2024 № 50
Введение запретительных пошлин на поставку в США товаров из стран БРИКС — не более чем хлесткая вербальная угроза: по значительному числу товаров зависимость США от импорта из стран блока слишком высока ...
Added: December 13, 2024
Mikirtumov I., Эпистемология и философия науки 2024 Т. 61 № 2 С. 95–113
I connect the idea of an existential turn in philosophical science, presented by Ilya Kasavin and Vladimir Porus in their recent article, with the problem of rationality and culture crisis, as well as the opposition of profession and vocation in Max Weber’s famous speech on politics. I offer an analysis of the structure of vocation to politics and to ...
Added: June 17, 2024
Cham: Springer, 2020.
This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students, and practitioners a unique update on the latest advances in theory and a multitude of applications. It presents the peer-reviewed proceedings of the Eighth International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2019), which took place in Lisbon, ...
Added: February 27, 2024
Marina Boykova, Knyazeva H., Salazkin M., Foresight and STI Governance 2023 Vol. 17 No. 4 P. 80–91
The challenges the futures studies face are particularly complex, interconnected, and contradictory, and cannot be resolved using linear approaches. Prognostic science needs tools matching the new contextual complexity, which would allow to capture a much wider range of driving forces, and their potential effects, in a non-linear perspective, to improve the accuracy of forecasts and ...
Added: January 25, 2024
Moiseeva A., Философия. Журнал Высшей школы экономики 2019 Т. 3 № 3 С. 218–240
This article is an attempt to find a new way of justifying H. Putnam’s conception of
internal realism and, more broadly, any conceptions that use nontraditional (weakened) forms
of realism. The main idea of the article is that the adoption of this or some similar conception
is already justified by the pragmatic need to preserve epistemology as a ...
Added: September 19, 2023
Sidorenko T., Espinoza M. K., IBEROAMÉRICA,Росия 2021 No. 1 P. 72–95
The article is based on the analysis of the rentier culture that Venezuela has had of the mono-export of raw materials and specifically of oil. Situation that has kept it in a highly vulnerable position due to the fact that the country's export market is based 83% on the sale of oil and its external ...
Added: June 13, 2023
Khan K., Философия. Журнал Высшей школы экономики 2021 Т. 5 № 1 С. 136–158
The article offers a comparative study of the concepts of “historical mood” in the works of V.V. Bibikhin and P. Ricoeur. The efficiency of the comparative study can be founded by the common intellectual context, the common influence of such authors as Aristotle, Augustine, M. Heidegger, on P. Ricoeur and V.V. Bibikhin. It is also ...
Added: February 28, 2023
Springer, 2021.
Springer Proceedings in Complexity publishes proceedings from scholarly meetings on all topics relating to the interdisciplinary studies of complex systems science. Springer welcomes book ideas from authors. The series is indexed in Scopus ...
Added: January 15, 2023
Perez-Guerra J., Smirnova E. A., VIAL - Vigo International Journal of Applied Linguistics 2023 No. 20 P. 149–183
This study focuses on the analysis of linguistic complexity in professional academic writing in light of the empirical evidence provided by a 1,597,000-word corpus of ‘hard’ (life and physical sciences) and ‘soft’ (arts and social) scientific research articles published in leading peer-review journals. Specifically, this investigation aims both to describe the complexity features of texts ...
Added: December 20, 2022