TY - RPRT TI - Extended Graded Modalities in Strategy Logic AU - Benjamin Aminof AU - Vadim Malvone AU - Aniello Murano AU - Sasha Rubin PY - 2016 DO - 10.4204/eptcs.218.1 UR - https://arxiv.org/abs/1607.03354 ID - 1607.03354 ER -