Determining the environment: a modal logic for closed interaction

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini. Determining the environment: a modal logic for closed interaction. Synthese, 169(2):351-369, 2009. [doi]

Abstract

Abstract is missing.