Reasoning about graded strategy quantifiers
scientific article; zbMATH DE number 6851698
scientific article