Determining the environment

a modal logic for closed interaction

2009

Jan Broersen, Rosja Mastop, John-Jules Meyer, Paolo Turrini

Synthese 169 (2)