Dynamic Epistemic Logic for Budget-Constrained Agents.

We present a static () and dynamic () epistemic logic for budget-constrained agents, in which an agent can obtain some information in exchange for budget resources. extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. extends with dynamic modality “” 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 and and show that both logics are decidable.