A. R. Meyer, K. Winklmann, S. , M. J. Fischer, R. A. Demillo et al., On the expressive power of Dynamic Logic (Preliminary Report), Proceedings of the eleventh annual ACM symposium on Theory of computing , STOC '79, pp.167-175, 1979.
DOI : 10.1145/800135.804410

M. L. Tiomkin and J. A. Makowsky, Propositional dynamic logic with local assignment, Theoretical Computer Science, vol.36, pp.71-87, 1985.
DOI : 10.1016/0304-3975(85)90031-3
URL : http://doi.org/10.1016/0304-3975(85)90031-3

A. Wilm, Determinism and non-determinism in PDL, Theoretical Computer Science, vol.87, issue.1, pp.189-202, 1991.
DOI : 10.1016/0304-3975(91)90031-V

H. V. Ditmarsch, The Russian cards problem, Studia Logica, vol.75, issue.1, pp.31-62, 2004.
DOI : 10.1023/A:1026168632319
URL : https://hal.archives-ouvertes.fr/hal-01273573

H. P. Ditmarsch, W. Hoek, and B. Kooi, Dynamic epistemic logic with assignment, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.141-148, 2005.
DOI : 10.1145/1082473.1082495

B. Kooi, Expressivity and completeness for public update logics via reduction axioms, Journal of Applied Non-Classical Logics, vol.1, issue.2, pp.231-253, 2007.
DOI : 10.1017/CBO9780511569852

H. P. Ditmarsch, A. Herzig, and T. D. Lima, From Situation Calculus to Dynamic Epistemic Logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2011.
DOI : 10.1093/logcom/exq024
URL : https://hal.archives-ouvertes.fr/hal-00868361

J. S. Miller and L. S. Moss, The Undecidability of Iterated Modal Relativization, Studia Logica, vol.82, issue.4, pp.373-407, 2005.
DOI : 10.1007/s11225-005-3612-9

J. V. Eijck, Making things happen, Studia Logica, vol.66, issue.1, pp.41-58, 2000.
DOI : 10.1023/A:1026792711025

A. Herzig, E. Lorini, F. Moisan, and N. Troquard, A dynamic logic of normative systems, International Joint Conference on Artificial Intelligence (IJCAI) Barcelona: IJCAI/AAAI, pp.228-233, 2011.

L. J. Stockmeyer and A. K. Chandra, Provably Difficult Combinatorial Games, SIAM Journal on Computing, vol.8, issue.2, pp.151-174, 1979.
DOI : 10.1137/0208013

W. V. Hoek, D. Walther, and M. Wooldridge, On the logic of cooperation and the transfer of control, J. of AI Research (JAIR), vol.37, pp.437-477, 2010.

G. , D. Giacomo, and F. Massacci, Combining deduction and model checking into tableaux and algorithms for converse-PDL, Information and Computation, vol.162, issue.12, pp.117-137, 2000.

W. V. Hoek and M. Wooldridge, On the logic of cooperation and propositional control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005.
DOI : 10.1016/j.artint.2005.01.003

J. Gerbrandy, Logics of propositional control, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.193-200, 2006.
DOI : 10.1145/1160633.1160664

W. V. Hoek and M. Wooldridge, On the dynamics of delegation, cooperation and control: a logical account, Proc. AAMAS'05, 2005.