Dynamic Epistemic Logic for Budget-Constrained Agents
Publication date
2023-02-14
Authors
Dolgorukov, Vitaliy
Gladyshev, Maksim
Editors
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
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
Keywords
Taverne
Citation
Dolgorukov, V & Gladyshev, M 2023, Dynamic Epistemic Logic for Budget-Constrained Agents. in Dynamic Logic. New Trends and Applications. DaLí 2022. Lecture Notes in Computer Science, vol. 13780, Springer, pp. 56-72. https://doi.org/10.1007/978-3-031-26622-5_4