Dynamics in Logic, 3 May. tr 2011, 5 (6).