with Wen, X. , 2013, 'Semantic games with chance moves revisited: from if logic to partial logic', Synthese 190 (9), 1605-1620.