Dynamics in Logic, 3 May (The Reasoner, 2011)