2011. Dynamics in Logic, 3 May. The Reasoner. 5, 6 (Jun. 2011).