with Broersen, J. , Meyer, J.-J. , Turrini, P. , 2009, 'Determining the environment: a modal logic for closed interaction', Synthese 169 (2), 351-369.