Modelling simultaneous games in dynamic logic

Johan van Benthem , Sujata Ghosh, Fenrong Liu

pp. 247-268


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

Not implemented yet !