Determining the environment

a modal logic for closed interaction

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

pp. 351-369


This document is unfortunately not available for download at the moment.

Not implemented yet !