This document is unfortunately not available for download at the moment.
Hans van Ditmarsch, Paul-Gabriel Sandu (2018) Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer.
Linear programming tools for analyzing strategic games of independence-friendly logic and applications
Merlijn Sevenster
pp. 475-497
Not implemented yet !