“Dynamics in Logic, 3 May”. 2011. The Reasoner 5 (6). https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/25544.