?
О вычислительных аспектах максимальной специфичности в вероятностном объяснении
Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. 2011. Т. 11. № 4. С. 78–93.
Speranski S. O., Математические заметки 2026 Т. 120 № 3 С. 470–483
We show that, in terms of closure ordinals, many infinitary calculi for ‘first-order’ logics of probability (i.e., for languages similar to those in [Abadi & Halpern 1994]) are as hard as possible: the corresponding closure ordinals coincide with the least non-constructive ordinal, denoted by $\omega_1^{\mathrm{CK}}$. ...
Added: August 12, 2026
Shehtman V. B., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
The chapter contains an overview of results on products of propositional modal logics and related constructions: semiproducts, Segerberg squares, and others. We focus mainly on axiomatizations, finite model property, and decidability; we also sketch connections with classical and modal predicate logics. In some cases we give ideas of proofs, especially of those using games. ...
Added: June 30, 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
Speranski S. O., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 526 С. 36–39
Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной. ...
Added: April 9, 2026
Speranski S. O., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 1 С. 99–115
Обсуждается проблема статистической двусмысленности (SAP), поставленная Карлом Гемпелем в отношении объяснений, базирующихся на индуктивно-статистической аргументации. С целью устранения SAP вводится формализованное (в терминах логики и вероятности) требование максимальной специфичности (RMS), а также соответствующая ему схема осуществления предсказания. Отметим, определенная в итоге совокупность закономерностей, удовлетворяющих RMS, тесно связана с конструкцией семантического вероятностного предсказания, представленной в работах ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2013 Т. 52 № 2 С. 236–254
Изучаются иерархии проблем общезначимости для префиксных фрагментов вероятностной логики с кванторами по пропозициональным формулам, обозначаемой QPL, и её вариантов. Доказывается: если подполе F вещественных чисел определимо в стандартной модели арифметики посредством формулы второго порядка, не содержащей кванторов по множествам, то проблема общезначимости над F-значными вероятностными структурами для $\Sigma_4$-QPL-предложений является $\Pi^1_1$-полной и, как следствие, соответствующая иерархия проблем общезначимости схлопывается. Более того, при ...
Added: December 27, 2025
Speranski S. O., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Added: December 26, 2025
Semenov A., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 527 № S С. 7–12
The paper proposes a system of definitions for the basic concepts of computability theory that underlie the mathematics of the digital world: algorithm, computability, calculus, object complexity, close to modern undertnding. Hierarchies of the finite and the problem of consistency are considered. ...
Added: December 6, 2025
Sarmento M. A., W Y Córdoba-Camacho, Shanenko A. et al., Journal of Physics: Condensed Matter 2024 Vol. 36 No. 25 Article 255602
To describe the way complexity emerges in seemingly simple systems of nature, requires one to
attend to two principal questions: how complex patterns appear spontaneously and why a single
system can accommodate their inexhaustible variety. It is commonly assumed the pattern
formation phenomenon is related to the competition of several types of interactions with
disparate length scales. These multi-scale ...
Added: May 24, 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
Dudakov S., Авхимович Н. В., Вестник Тверского государственного университета. Серия: Прикладная математика 2023 № 1 С. 24–35
В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория ...
Added: November 12, 2023
Semenov A., Сопрунов С. Ф., Чебышевский сборник 2021 Т. 22 № 1(77) С. 304–327
The article presents results and open problems related to definability spaces (reducts) and sources of this field since the XIX century. Finiteness conditions and constraints are investigated, including the depth of quantifier alternation and the number of arguments. Results related to the description of lattices of definability spaces for numerical and other natural structures are ...
Added: March 11, 2023
Gromov V., Мазайшвили К. В., Заикин П. В. et al., Вестник кибернетики 2022 Т. 45 № 1 С. 72–82
The prevalence of chronic kidney disease is growing every year and is already comparable to such socially significant diseases as hypertension and diabetes mellitus, as well as obesity and metabolic syndrome [1,2]. The standard solution for hemodialysis patients is to create a permanent vascular access in the form of an arteriovenous fistula. However, its use ...
Added: November 14, 2022
INDAUTOR, 2021.
Ciencia jurídica, transdisciplina y complejidad. Tendencias para la innovación para el aprendizaje jurídico, se centra en el aprendizaje a lo largo d$e la vida para toda persona, propone una inversión sin precedentes en el trabajo colaborativo para lograr la mayor eficacia del modelo de convivencia vanguardista que representan los derechos, deberes y libertades fundamentales, orientados ...
Added: February 10, 2022
Коломбо Э., Социологические исследования 2019 № 9 С. 3–18
Преобразования, вызванные процессами глобализации, влияют на состояние социальных наук. Многие голоса, исходящие прежде всего из так называемого «Юга», требуют радикального пересмотра западных общественных наук – если не полного отказа от них. Стало очевидным, что инструментарий, понятия и методы, унаследованные от модернити, неспособны уловить сложность и изменчивость современного социального опыта, характеризующегося множеством мнений, интересов, исторических традиций. ...
Added: December 19, 2020
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
Iomdin B., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной международной конференции «Диалог» (Москва, 17–20 июня 2020 г.)Т. 2: дополнительный том. Вып. 19.: Издательский центр «Российский государственный гуманитарный университет», 2020. С. 1011–1024.
Educational texts for children have two distinctly differing purposes: their readers must understand them and at the same time learn new words from them. It seems important and useful to be able to automatically detect words that may be unfamiliar to children of different ages. A challenging task is to identify words that readers perceive ...
Added: September 12, 2020
Iomdin B., Морозов Д. А., В кн.: Компьютерная лингвистика и интеллектуальные технологии. По материалам ежегодной международной конференции «Диалог» (2019)Т. 2: дополнительный том. Вып. 18.: Издательский центр «Российский государственный гуманитарный университет», 2019. С. 119–131.
Computation of the semantic complexity of a given word is a task that has long been present in linguistics in relation to a variety of fields: theoretical semantics, lexicography, teaching, corpus linguistics and computational linguistics (in particular, automatic annotation of texts indicating their semantic complexity levels and creation of corpora and subcorpora of texts of ...
Added: September 12, 2020