?
Dynamic Epistemic Logic for Budget-Constrained Agents
P. 20–23.
Dolgorukov V., Gladyshev M.
This abstract is based on recent work in [6]. We present a static (ELbc) and dynamic (DELbc) epistemic logic for budget-constrained agents. 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”. We provide a sound and complete axiomatization for ELbc and DELbc and show that both logics are decidable
Language:
English
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
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., , in: Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, University of Milan, Italy 5—9 June 2023, Book of Abstracts.: Milan: University of Milan, 2023. P. 90–90.
We present a multi-agent logic for reasoning about knowledge in time which involves delays in the agent’s awareness. Awareness framework divides a common epistemic concept of knowledge into explicit and implicit ones. This division helps to avoid the problem of logical omniscience and proposes new instruments for analysis of resourcebounded agents reasoning. ...
Added: November 26, 2023
Popova E., Логико-философские штудии 2022 Vol. 20 No. 1 P. 1–7
There are two approaches to merging temporal and epistemic models. The first one consists in starting with a temporal model and enriching it with epistemic dimension (as temporal epistemic logic), while the second one is supposed to start with an epistemic model introducing temporal dimension (dynamic epistemic logic, epistemic temporal logic). The proposed evolutionary epistemic ...
Added: August 1, 2022
Dolgorukov V., Maksim Gladyshev, , in: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected PapersVol. 13780.: Cham: Springer, 2023. P. 56–72.
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 ...
Added: July 31, 2022
В.В. Долгоруков, Логические исследования 2022 Т. 28 № 1 С. 9–26
Implicit group knowledge (or distributive knowledge) is the sum of the knowledge in a group. In this paper, two approaches to group implicit knowledge are compared. According to the first approach, group implicit knowledge is defined as a logical consequence of individual agents’ knowledge sets. According to the second approach, group implicit knowledge is characterized ...
Added: May 16, 2022
Dolgorukov V., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 86–89.
The paper shows that the concept of distributive knowledge and the concept of implicit knowledge are equivalent in the class of finite distinguishable Kripke models. Some modifications of implicit knowledge are considered. It is demonstrated that these modifications are equivalent in the class of finite distinguishable Kripke models. ...
Added: June 28, 2021
Popova E., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.
This paper is concerned with the formalization problem of a wide range of scenarios of how knowledge evolves over time. We focus on combinations of temporal and epistemic modalities reflecting various properties of rational agents’ deliberation. For this purpose, we introduce the model EEM – evolutionary epistemic model. ...
Added: June 28, 2021
Ma M., Pietarinen A., Synthese 2017 Vol. 195 No. 8 P. 3621–3650
We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics ...
Added: September 16, 2018
Lisanyuk E., Pavlova A., Вестник УрФУ. Серия: Экономика и управление 2016 Т. 11 № 4 С. 45–60
В статье предложена комплексная логическая классификация типов (презумпций) когнитивных агентов применительно к формальным теориям, моделирующим ра- циональное поведение, включая рассуждения. В классификации уточнены и систе- матизированы подходы к пониманию сути многообразия агентов, явным и неявным образом содержащиеся в логических формализмах, предназначенных для анализа знаний и убеждений агентов, их интеллектуальных способностей, а также особенно- стей рационального ...
Added: July 16, 2018
Gladyshev M., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 67–68.
В предлагаемой работе предпринята попытка формализации феномена лжи с помощью инструментов современной динамической эпистемической логики. Предлагается к рассмотрению две модели доксатической логики: модель, описывающая ложь со стороны стороннего наблюдателя и модель для описания лжи одного из агентов остальным ...
Added: November 5, 2017
Dolgorukov V., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 74–76.
Доклад посвящен описанию модели социального влияния для эпистемических агентов. Наша задача состоит в том, чтобы продемонстрировать возможность расширения стандартной версии доксатической и эпистемической логики (в правдоподобной версии) за счет модели социального влияния М. Дегроота. ...
Added: June 9, 2017