Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control
Résumé
We study uniform strategies in the framework of models of propositional control. In that logic each agent has a repertoire of actions each of which consists in setting a propositional variable to true or false. This provides compact representations of both alternating-time transition systems (providing semantics for CL and ATL) and BR+AC structures (providing semantics for STIT logics). The models allow to interpret a language with modal operators of agency and knowledge, yielding a simple dynamic epistemic logic of propositional control DEL-PC. We prove that the logic is decidable.