Epistemic Boolean Games Based on a Logic of Visibility and Control / 1116
Andreas Herzig, Emiliano Lorini, Faustine Maffre, Francois Schwarzentruber
We analyse epistemic boolean games ina computationally grounded dynamic epistemic logic. The agents' knowledge is determined by what they see, including higher-order visibility: agents may observe whether another agent observes an atom or not. The agents' actions consist in modifying the truth values of atoms. We provide an axiomatisation of the logic, establish that the model checking problem is in PSPACE, and show how one can reason about equilibria in epistemic boolean games.