Dynamic Epistemic Logic for Budget-Constrained Agents
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.