Modelling simultaneous games in dynamic logic
scientific article; zbMATH DE number 5565231
scientific article