?
Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)
Vol. 66.
Springer, 2026.
Under the general editorship: J. van Benthem, F. Liu
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 logics that fit with these games. The collected works in this volume therefore straddle both established research directions of designing logics for analyzing games and designing games for analyzing logics.
This book contains a general introduction to the project of matching up graph games and logic design, and a collection of selected and commissioned contributions that illustrate novel concepts, questions, and logical techniques in the field. The contributions are introduced and contextualized in an editorial preface and conclusion. Future outlooks towards further research on graph games, new graph games, major new technical challenges, and potential practical applications to, for example, board games and a design tool for experiments in cognitive psychology conclude the volume. This book is of interest to a broad audience working with theoretical and practical applications of graph games and modal logics.
Chapters
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
Borzykh D., Орлов Н. А., Экономический журнал Высшей школы экономики 2026 Т. 30 № 3 С. 457–486
This study compares two estimation approaches for the stochastic volatility (SV) model,
namely quasi-maximum likelihood (QML) and Markov chain Monte Carlo (MCMC). A simulation exercise shows that MCMC delivers markedly more accurate parameter estimates than
QML. However, QML remains substantially faster and far less computationally demanding,
which makes it attractive in large-scale empirical applications. To the best of ...
Added: October 29, 2026
Inês G., Скороход С. Н., Matteo d. V. et al., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 P. 1–13
The collective dynamics of spiking networks of neurons has been of central interest to both computational
neuroscience and network science. Over the past years, a new generation of neural
population models based on exact reductions (ER) of spiking networks have been developed.
However, most of these efforts have been limited to networks of neurons with simple dynamics
(e.g. the ...
Added: October 29, 2026
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
Association for Computational Linguistics, 2026.
While Large Language Models (LLMs) have revolutionized NLP, they remain prone to hallucinations, reasoning “mode-collapse” in open-ended generation, and a lack of factual provenance. The Automated Knowledge Base Construction (AKBC) workshop addresses a key missing piece of the generative era: structured knowledge. Knowledge Bases (KBs) serve as ground truth for fact verification, the semantic backbone ...
Added: October 28, 2026
Nikitiuk B., Lenev D., Pisarev V. et al., Journal of Colloid and Interface Science 2026 Vol. 718 Article 140444
Hypothesis:Accurate determination of interfacial tension values is crucial for many modeling applications in the oil and gas industry. However, many of the presently used empirical and theoretical models show poor prediction accuracy and do not allow for direct consideration of the concentrations of gases and salts dissolved in the system as well as the specific ...
Added: October 28, 2026
Deshchenya V., Nikolay D. Kondratyuk, Sivakova A. et al., Chemical Engineering Sciences 2027 Vol. 337 Article 124616
Accurate prediction of complex formulation viscosity is crucial for the lubricant industry and engineering processes. However, developing generalizable models remains challenging due to the complexity of industrial mixtures and the scarcity of public experimental data, often resulting from corporate proprietary restrictions. This study presents a machine-learning workflow for viscosity estimation from a proprietary pseudonymized dataset, ...
Added: October 28, 2026
Zubov A., Zubov A., Малявко, Я. et al., Computer Physics Communications 2025 Vol. 317 Article 109860
The concept of representative volume (REV, or RVE in material sciences) is the cornerstone of continuum scale models – one needs to get the volume big enough so that it could be represented with an averaged value (scalar, vector or tensorial, etc.). While REV should be established in all larger scale simulations, this is rarely ...
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
Maddalena L., Yildiz B., Del Vecchio Blanco F. et al., Scientific data 2026 P. 1–20
We addressed the task of chemical characterization of the aerosol emitted by heated tobacco products (HTPs) and of the smoke emitted by conventional/commercial cigarettes, usually adopted as a reference. Emphasis was placed on quantifying constituents for enabling the identification of novel compounds through targeted and untargeted analyses, and the evaluation of reductions in toxicant exposure under ...
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
Obsie E. Y., Zhan Y., Liu Y., Engineering Research Express 2026 Article 7
Maintaining plant health is crucial for crop quality, food security, and agricultural productivity. Although deep learning methods have shown strong potential for species, disease, and severity classification, most existing approaches tackle these tasks separately, failing to exploit shared representations and interdependencies among them. Furthermore, the variability of disease symptoms, such as subtle differences in size, ...
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
Rybakov M., Annals of Pure and Applied Logic 2026 Vol. 177 No. 10 Article 103811
The paper presents a solution to the question about the decidability of the two-variable fragment of the superintuitionistic predicate logic QLC defined by the class of linear Kripke frames, which is also the ‘superintuitionistic’ fragment of the modal predicate logic QS4.3, under the Gödel translation. We prove that the fragment is undecidable. The result remains true for the ...
Added: July 11, 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
Nesterov A. S., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Added: June 16, 2026
Stepin A., Mozikov M., Kabanov A. et al., IEEE Access 2026 Vol. 14 P. 48127–48144
The deployment of large language models (LLMs) in interactive roles such as automated negotiators, customer service agents, and strategic partners requires them to handle not only logical tasks but also the socio-emotional dimensions of interaction. In these situations, success often relies on understanding social cues, building trust, and using persuasion effectively. These skills are closely ...
Added: June 16, 2026
Исаев М. Р., Bobrov P., Журнал высшей нервной деятельности им. И.П. Павлова 2022 Т. 72 № 5 С. 728–738
The paper proposes methods for brain–computer interface, based on the hemodynamic activity registration using near–infrared spectroscopy (NIRS) and adapted for using in the movement disorders rehabilitation. Methods include a filtration adapted to the instructions frequency, step by step classification of the rest state and active tasks, as well as training of the interface classifier on ...
Added: March 18, 2026
Speranski S. O., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Added: December 27, 2025
Speranski S. O., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Added: December 27, 2025
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., Archive for Mathematical Logic 2013 Vol. 52 No. 5–6 P. 507–516
We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates — which are strongly related to definability in ...
Added: December 27, 2025