Johan van Benthem Sujata Ghosh Fenrong Liu Modelling simultaneous games in dynamic logic. 247-268 2008 165 Synthese 2 http://dx.doi.org/10.1007/s11229-008-9390-y db/journals/synthese/synthese165.html#BenthemGL08