• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • Предикатный вариант совместной логики задач и высказываний
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
November 5, 2026
Masters Programmes and AI: Shaping the Future of Higher Education
From October 28 to 30, the 17th International Conference on Higher Education, ‘The (Non)Homogeneous Landscape of Higher Education: Institutions, Trajectories, Effects,’ took place at HSE University. Among the key topics discussed at the plenary sessions on the second and third days were the development of master's programmes and the application of AI in the learning process.
November 5, 2026
Forecasting the Future of Science and Technology
The Laboratory for Science and Technology Studies at the HSE Institute for Statistical Studies and Economics of Knowledge (ISSEK) examines the current state of R&D and analyses emerging trends and their dynamics. This work helps assess the scale of challenges associated with the adoption of new technologies, identify priorities for future research, and inform science and industrial policy. The HSE News Service spoke with Liliana Proskuryakova, Head of the Laboratory, and Alexander Sokolov, Director of the Foresight Centre at ISSEK.
October 30, 2026
‘This Format Turned Each Presentation Into a Collaborative Effort to Assess the Robustness of the Study
On October 16, 2026, HSE ICEF hosted the Eighth International Conference on Applied Economics. Held fully on-site, the conference brought researchers from HSE University, the New Economic School, Wuhan University, and Shandong University together in Moscow. The programme was organised around three overarching themes— ‘Environment, Resources and Policy,’ ‘Migration, Labour, and Communication,’ and ‘Consumption, Behaviour, and Climate—offering an opportunity to see how similar economic mechanisms operate in China, Pakistan, the United States, and Russia.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Предикатный вариант совместной логики задач и высказываний

Математический сборник. 2022. Т. 213. № 7. С. 97–120.
Onoprienko A.
Research target: Mathematics
Language: Russian
Full text
DOI
Text on another site
Keywords: семантика Крипкенеклассические логики
Similar publications
Обобщение матричной теоремы о деревьях для пар деревьев
Retinsky V., Функциональный анализ и его приложения 2026 Т. 60 № 4 С. 83–100
Приведено обобщение матричной теоремы о деревьях на случай перечисления пар остовных деревьев. Это обобщение включает в качестве частных случаев и унифицирует сразу несколько известных ранее результатов, в частности классическую теорему Кирхгофа, теорему Масбаума–Вайнтроба о перечислении 3-деревьев, а также аналог матричной теоремы о деревьях для перечисления 4-элементов Кирхгофа. ...
Added: November 5, 2026
Спаривания на алгебре рядов Лорана над кольцом
Levashev V., Математические заметки 2026 Т. 120 № 5 С. 843–846
Пусть 𝐴 – коммутативное ассоциативное кольцо с единицей и 𝐴((𝑡)) = 𝐴[[𝑡]][𝑡−1] – кольцо рядов Лорана над 𝐴. Алгебра 𝐴((𝑡)) имеет естественную топологию, где 𝐴 – подмодули вида 𝑡𝑚𝐴[[𝑡]] образуют базу окрестностей нуля. Пусть также Ω1𝐴((𝑡))/𝐴 – модуль кэлеровых 1-дифференциалов 𝐴((𝑡)) над 𝐴. ...
Added: November 5, 2026
Spectral structure of the mixed Hessian of the dispersionless Toda τ-function
Алексеев О. В., Letters in Mathematical Physics 2026 Vol. 116 No. 5 Article 132
We study the mixed Hessian of the dispersionless Toda \(\tau\)-function for the one-harmonic \(s\)-fold symmetric conformal map \(f(w)=r\bigl(w+\zeta w^{1-s}\bigr)\), where \(r>0\) is the exterior conformal radius and \(\zeta>0\) is the dimensionless shape parameter. This Hessian is the susceptibility matrix generated by the inverse conformal map. Our spectral statements are formulated for its weighted symmetry-block realizations ...
Added: November 5, 2026
Modular Arrangements
Levin A., Sakharova N., / Series arXiv "math". 2024. No. 2412.17795.
The modular curves serve as excellent objects for testing conjectures in arithmetic geometry. They possess a natural geometric definition in contrast with rather nontrivial structure. On the other hand, they are well-studied from the perspective of number theory. Furthermore, there is a well-developed and powerful analytic technique available. We will use the square of the ...
Added: November 4, 2026
On chaotic axiom A diffeomorphisms with codimension one saddles and basic sets
Zhuzhoma E. V., Medvedev V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 732–742
We study Axiom A diffeomorphisms (in the sense of Smale) on a closed orientable $n$-manifold $M^n$, $n\ge 4$, whose non-wandering sets consist of codimension one orientable attractors, repellers, and isolated saddle periodic orbits with the same Morse index. Such systems combine chaotic dynamics on basic sets with regular dynamics near trivial periodic orbits. We prove ...
Added: November 3, 2026
Nonsingular structurally stable chaotic 3-flows of attractor-repeller type
Zhuzhoma E. V., Medvedev V., Yu B. et al., Chaos 2026 Vol. 36 No. 6 P. 063111–063118
We show that any orientable closed 3-manifold $M$ admits structurally stable non-singular flow $f^t$ whose non-wandering set $NW(f^t)$ consists of a 2-dimensional expanding attractor and finitely many repelling periodic trajectories. For $M=\mathbb{S}^3$, we prove that the set of repelling periodic trajectories can be an arbitrary link provided that this link contains the figure eight knot. ...
Added: November 3, 2026
Classification of surface A-diffeomorphisms with no zero-dimensional basic sets
Zhuzhoma E. V., Zhirov A. Y., Russian Journal of Nonlinear Dynamics 2026 Vol. 22 No. 2 P. 403–414
On a closed orientable surface, we consider the set of axiom A diffeomorphisms whose non-wandering sets consist of connected one-dimensional expanding attractors and contracting repellers (any attractor/repeller is locally homeomorphic to the product of segment and Cantor set). This set consists of $\Omega$-stable diffeomorphisms and structurally unstable diffeomorphisms. We classify such diffeomorphisms up to the ...
Added: November 3, 2026
Modelling optimal implementation of an arbitrary N-qubit quantum gate within the generalized Bloch vectors formalism
Elena R. Loubenets, Sergey Kuznetsov, Quantum Information Processing 2026 Vol. 25 Article 358
The optimal implementation of quantum gates for closed $N$-qubit systems is one of the key challenges for practical realization of many quantum information processing tasks. In the present article, based on the generalized Bloch vectors formalism [J. Phys. A: Math. Theor. 54, 195301 (2021)] for a finite-dimensional quantum system, we develop a new \emph{general} model for the ...
Added: November 3, 2026
On nonsingular structural stable chaotic 3-flows of attractor-repeller type
Zhuzhoma E. V., Medvedev V. S., Yu B., Mathematical notes 2025 Vol. 118 No. 2 P. 421–423
We show that given any orientable closed 3-manifold $M^3$ admits structurally stable non-singular flow $f^t$ whose non-wandering set $NW(f^t)$ consists of 2-dimensional expanding attractor and finitely many repelling periodic trajectories. For $M^3=\mathbb{S}^3$, we prove that the set of repelling periodic trajectories can be an arbitrary link provided this link contains the figure eight knot. ...
Added: November 3, 2026
Smale–Williams attractors at dissipative perturbations of an integrable Hamiltonian system
Kazakov A., Kulagin N., Lerman L. et al., Chaos 2026 Vol. 36 No. 11 P. 1–24
We study perturbations of an integrable Hamiltonian system with two degrees of freedom that possesses a saddle-focus equilibrium with a homoclinic skirt—a one-parameter family of homoclinic orbits of the saddle-focus whose stable and unstable invariant manifolds coincide. The perturbations are dissipative, and we consider those that split the skirt completely (i.e., no intersections remain). We are interested ...
Added: November 2, 2026
Точно решаемые циклические q-цепочки Дарбу
Смирнов С. В., Дынников И. А., Успехи математических наук 2002 Т. 57 № 6 С. 183–184
Изучаются точно решаемые циклические q-цепочки Дарбу, обобщающие q-осциллятор ...
Added: November 1, 2026
Циклические q-цепочки Дарбу
Смирнов С. В., Алгебра и анализ 2003 Т. 15 № 5 С. 228–253
В работе построен дискретный q-аналог одевающей цепочки Веселова–Шабата (являющейся обобщением гармонического осциллятора). Показано, что, как и в непрерывном случае, соответствующие операторные соотношения позволяют полностью определить дискретный спектр операторов цепочки: в данном случае он состоит из нескольких q-арифметических прогрессий. В этой работе удалось реализовать циклическую q-цепочку ограниченными разностными самосопряженными операторами, причем спектр каждого из них дискретен, а собственные векторы образуют ...
Added: November 1, 2026
Полудискретные цепочки Тоды
Смирнов С. В., Теоретическая и математическая физика 2012 Т. 172 № 3 С. 387–402
Изучаются интегрируемые условия обрыва для полудискретной цепочки Тоды. Построено представление Лакса для полудискретного аналога цепочек, соответствующих простым алгебрам Ли серии C. Введены нелокальные переменные, в терминах которых записываются  симметрии бесконечной полудискретной цепочки, и классифицируются условия обрыва определенного вида, совместимые с симметриями бесконечной цепочки. ...
Added: November 1, 2026
Algorithmic overlaps in the Baxter–Wu model: cluster dynamics under Novotny–Evertz updates
Pilé I., Shchur L., Nuclear Physics B 2026 No. 0550-3213 Article 117706
We study the spatial overlap of successive spin configurations generated by Markov chain Monte Carlo simulations of the Baxter–Wu model. Using the Novotny–Evertz sublattice-freezing single-cluster update, we track the mean and variance of the algorithmic overlap across the critical region. We show that, even in this three-spin model, the overlap acts as an algorithmic observable ...
Added: November 1, 2026
QML- и MCMC-методы оценивания параметров модели стохастической волатильности: применение к российскому рынку ценных бумаг
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
Mean-field reduction of networks of bursting neurons
Guerreiro I., Sergey Skorokhod, di Volo M. et al., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 Article 110954
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
Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
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
Amplifying Latent Safety in Large Language Models via Gated Activation Steering
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
PACTraD: Multi-Task Benchmark and Domain-Specific Attention Mechanism for Wildlife Classification, Detection, and Segmentation in Protected Area Camera Trap Data
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
2026 10th Scientific School Dynamics of Complex Networks and their Applications
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
Weakly non-integrable solitary wave collisions in the modified Benjamin–Bona–Mahony equation
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
Интуиционистская эпистемическая логика с точки зрения классической логики
Onoprienko A., Математические заметки 2026 Т. 120 № 1 С. 118–139
This paper considers the intuitionistic epistemic logics IEL−, IEL, and IEL+, introduced by S. Artyomov and T. Protopopescu. A translation of the formulas of these logics into the formulas of the classical bimodal logic S4V−M, S4VM, S4V+M, and S4V+MU is constructed. This translation is a generalization of Gödel's translation of intuitionistic logic into S4 logic. ...
Added: June 22, 2026
Лариса Львовна Максимова (некролог)
Артёмов С. Н., Beklemishev L. D., Гончаров С. С. et al., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Added: December 27, 2025
Невозможность погружения логики HC в логику IEL+ с сохранением классической импликации
Onoprienko A., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Added: October 2, 2025
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit