• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Dynamic Epistemic Logic for Budget-Constrained Agents
  • 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
May 13, 2026
Immersion in Second Language Environment Influences Bilinguals Perception of Emotions
Researchers at the Cognitive Health and Intelligence Centre at the HSE Institute for Cognitive Neuroscience have discovered how bilingual individuals process emotional words in their native (first) and non-native (second) languages. It was found that the link between word meaning and bodily sensations is weaker in a second language than in a first language. However, the more a person is immersed in a language environment, the smaller this difference becomes. The article has been published in Language, Cognition and Neuroscience.
May 12, 2026
‘Any Real-Economy Company Can Use Our Products
The HSE Centre for Financial Research and Data Analytics combines fundamental and applied work, including in areas unique to Russia such as the connection between sentiment in the media and social networks and financial markets. The HSE News Service spoke with the centre’s director, Professor Tamara Teplova, about its work.
May 7, 2026
Researchers Find More Effective Approach to Revealing Majorana Zero Modes in Superconductors
An international team of researchers, including physicists from HSE MIEM, has demonstrated that nonmagnetic impurities can help more accurately reveal Majorana zero modes—quantum states considered promising building blocks for quantum computing. The researchers found that these impurities shift the energy levels that typically obscure the Majorana signal, while leaving the mode itself largely unaffected, thereby making its spectral peak more distinct. The study has been published in Research.

 

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

?

Dynamic Epistemic Logic for Budget-Constrained Agents

P. 56–72.
Dolgorukov V., Maksim Gladyshev

We present a static (ELbc) and dynamic (DELbc) epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. ELbc extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. DELbc extends ELbc with dynamic modality “[?iA]φ” which reads as “φ holds after i’s question whether a propositional formula A is true”. In this paper we provide a sound and complete axiomatization for ELbc and DELbc and show that both logics are decidable.

Language: English
DOI
Text on another site
Keywords: логикаepistemic logicDEL
Publication based on the results of:
Dynamic Models of Knowledge and Beliefs in Multi-agent Interactions (2023)

In book

Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Vol. 13780. , Cham: Springer, 2023.
Similar publications
Новое введение в математическую логику. Рецензия на книгу Дирка Хоффмана о пределах математики
Dolgorukov V., Popova E., Философия. Журнал Высшей школы экономики 2026 Т. 10 № 1 С. 404–409
A REVIEW OF A BOOK BY DIRK HOFFMANN ON LIMITS OF MATHEMATICS ...
Added: March 30, 2026
Verdict Exclusion, Higher-Order Vagueness, Cross-Order Vagueness and Borderlineness: Reflections on Footnote 41 of Crispin Wright’s ‘On Being in a Quandary’
Zardini E., , in: Paradoxes Between Truth and Proof.: Springer, 2024. P. 279–299.
The paper explores an argument offered by C. Wright against the “verdict-exclusion” view (according to which we can knowledgeably rule out that, in the presence of a borderline case of Fness, that case is either feasibly knowably F or feasibly knowably ~F). The view is shared by otherwise very different theories of vagueness, such as the “third-possibility” view ...
Added: February 5, 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
Темпоральная эпистемическая логика для агентов с задержкой в осведомленности
Dolgorukov V., Popova E., В кн.: Материалы докладов V Конференции математических центров России.: Красноярск: ИВМ СО РАН, 2025. С. 216–218.
Моделирование осведомленности (awareness) является одним из направлений теории многоагентных систем и восходит к работам классиков теоретической информатики Р. Фейгина, Дж. Халперна, Й. Мозеса, М. Варди. Согласно им, моделирование осведомленности позволяет решить проблему логического всеведения, которая представляет собой одно из ключевых затруднений стандартной эпистемической логики. В настоящей работе представим расширение подхода Р. Фейгина и соавторов, а ...
Added: January 16, 2026
Epistemic Mathematical Models for Analyzing Meta-opinions on Social Networks
Fedyanin D., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
The paper proposes a formal model for describing opinions and higher-order opinions (e.g., opinions about opinions) using classical epistemic logic, such as the Kripke structure. Traditionally employed for analyzing knowledge and beliefs, this model is adapted to interpret opinions as beliefs, which is particularly promising for describing human-computer interaction due to its high level of formalization. The study is ...
Added: December 13, 2025
17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787
Fedyanin D., Switzerland: Springer, 2025.
The 17th International Conference on Social Computing and Social Media (SCSM 2025) was an affiliated conference of the HCI International (HCII) conference. It provided an established international forum for the exchange and dissemination of scientific information related to social computing and social media, addressing a broad spectrum of issues expanding our understanding of current and future issues in ...
Added: December 3, 2025
Нормативные стандарты в логике и теории игр: структурные параллели
Dolgorukov V., Popova E., Логические исследования 2025 Т. 31 № 2 С. 31–51
The paper examines some structural parallels between normative standards in logic and game theory. On the one hand, the standard view holds that both logic and game theory are normative disciplines. On the other hand, their normative status remains a subject of debate. It is shown that parallel research programs have emerged within logic and ...
Added: September 15, 2025
Категория эвиденциальности с точки зрения динамической эпистемической логики
Dolgorukov V., Popova E., В кн.: Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.: М.: Издатель Александр Воробьев, 2025. С. 78–79.
Доклад посвящен анализу эвиденциалов в DEL. ...
Added: June 19, 2025
Четырнадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19-21 июня 2025 г.
М.: Издатель Александр Воробьев, 2025.
В книге представлены материалы конференции "Четырнадцатые Смирновские чтения по логике". ...
Added: June 19, 2025
Логические языки описания сознания
Vasyukov V. L., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2023 № 4 С. 132–139
Discussions about the nature of consciousness are mainly conducted within the framework of three hypotheses: (1) consciousness is an independent reality that is not connected with matter by cause-and-effect relationships — dualism, (2) consciousness is something derived from material substance — physicalism, and (3) matter and consciousness are modes of something third — neutral monism. ...
Added: December 27, 2024
Логики самосознания
Vasyukov V. L., Вестник Ивановского государственного университета. Серия: Гуманитарные науки 2024 № 4 С. 134–142
Using the method of combining logical systems, it is possible to describe the work of consciousness by means of logical systems — combinations of various kinds of connections of mental states and causal connections of neuronal states (psychophysical problem). For a pair of such “logics” it is always possible to find a “combined” logical system whose properties ...
Added: December 26, 2024
Онтологическая логика абсурда Александра Зиновьева
Polyakov L., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43
Th is paper is an attempt to explicate the logic of transformation Alexander Zinoviev’s logical conception, designated by him as “complex logic”, into original genre of literature — “sociological novel”. To understand this process more deeper, I have compared Zinoviev’s search with Hegel’s defi nition of logic as a science and with paradoxical presumptions of “Th e Logical-Philosophical Tractatus” ...
Added: December 24, 2024
Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 13–17 ноября 2023 г. Тезисы докладов
[б.и.], 2023.
Proceedings of the international conference "Mal'tsev Meeting 2023" ...
Added: November 30, 2024
Некоторые замечания о требованиях к научной теории в контексте многомировых моделей
Karpenko I., Вопросы философии 2024 № 5 С. 140–146
The article discusses the problem of a correct description of reality in science and philosophy, taking into account the acceptance of the many-world hypothesis. Many-worlds are understood as modern physical hypotheses that allow the existence of other universes (many-world interpretation, chaotic inflation, string landscape, and others). It is shown that these models are likely to ...
Added: September 24, 2024
La cognición auditiva. Especificidad modal y perplejidad semántico-definicional
Jorge Luis Méndez-Martínez, Andamios: Revista de Investigacion Social 2024 Vol. 21 No. 54 P. 27–56
Philosophical  discussions  on  cognition  (ranging  from  computational   and   representational   approaches   to   the   4E   fra-mework),  on  the  one  hand,  and  those  on  sound  and  auditory  per-ception,  on  the  other,  have  hitherto  remained  apart.  In  this  paper,  the  author  addresses  the  concept  of  “auditory  cognition”.  While  committing  to  the  conceptual ...
Added: September 12, 2024
The logical and pedagogical paths of phenomenology. Adalberto García De Mendoza’s and Francisco Larroyo’s forays
Jorge Luis Méndez-Martínez, Horizon, Fenomenologiceskie Issledovania 2024 Vol. 13 No. 1 P. 241–262
This paper addresses the relationship between logic and phenomenology at a historical moment that precedes the big divide between analytic philosophy and phenomenology. In analysing alternative derivations of phenomenological logic, the discussion focuses on the case of two notorious neo-Kantian Mexican philosophers from the first half of the XXth century: Adalberto García de Mendoza and ...
Added: September 12, 2024
Neoclassical Logic, Cloisonnist Vagueness, Nonobjectual Truth
Zardini E., , in: Themes from Weir: A Celebration of the Philosophy of Alan WeirVol. 484.: Cham: Springer, 2024. P. 87–122.
In a series of works, Alan Weir has suggested that the paradoxes are due not so much to the operational principles of classical logic, but to some of its structural principles. Weir’s insightful suggestion has opened up the programme of developing a system that, while validating the principles of naive truth (or of naive vagueness), ...
Added: September 12, 2024
Моделирование аргументативного диалога для выявления когнитивного искажения «Черно-белое мышление»
Denisova V., В кн.: Сборник статей Международной научной конференции «Университет. Образование. Общество (к 300-летию Санкт-Петербургского государственного университета)».: СПб.: Издательство ООО "Сборка", 2023.
We have proposed a model of argumentative dialogue between two cognitive agents, namely a client and a therapist. A change in the epistemological state of the client within this kind of argumentative dialogue is underlined. The purpose of such a dialogue is to identify the cognitive distortion “black and white thinking” as classified by A. ...
Added: May 1, 2024
Сборник статей Международной научной конференции «Университет. Образование. Общество (к 300-летию Санкт-Петербургского государственного университета)»
СПб.: Издательство ООО "Сборка", 2023.
Нами предложена модель аргументативного диалога между двумя когнитивными агентами, а именно клиентом и терапевтом, в ходе которого происходит изменение эпистемологического состояния клиента. Целью такого диалога является выявление когнитивного искажения «черно-белое мышление» согласно классификации когнитивных искажений А. Бека. Мы обосновываем применимость теории аргументации для применения в психотерапевтической практике. ...
Added: May 1, 2024
Логические основания когнитивно-поведенческой психотерапии
Denisova V., Ковпак Д. В., Вестник психофизиологии 2023 № 1 С. 68–79
The article discusses the research question of the usefulness and applicability of logic for working with clients within the framework of cognitive behavioral therapy (CBT) sessions. During CBT sessions, therapists seek to help their clients to identify maladaptive core beliefs, and then challenge these beliefs through several types of disputes. The concept of logical consequence ...
Added: May 1, 2024
Альтернативы семантике Крипке для эпистемической логики
Dolgorukov V., Логические исследования 2024 Т. 30 № 1 С. 62–85
The article discusses the difficulties that are caused by the use of standard Kripke semantics for the analysis of epistemic scenarios: the presence in the model of possible worlds that are indistinguishable by any formula; combinatorial explosion (exponential growth of the set of possible worlds); overspecification of the initial epistemic scenario by the proposed model. ...
Added: April 12, 2024
Вопросы определимости
Semenov A., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Added: March 13, 2024
  • 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