We introduce an extension of Strategy Logic for the imperfect-information setting, called SL ii and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, problem is undecidable; but we a syntactical class “hierarchical instances” which, intuitively, as one goes down syntactic tree formula, strategy quantifications are concerned finer o...