Logic, Rationality and Interaction, 9–12 October. tr 2013, 7 (11).