Strategy logic with imperfect information
Strategy logic with imperfect information
We introduce an extension of Strategy logic for the imperfect-information setting, called SL <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ii</sub> , and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecidable. We introduce a syntactical class of "hierarchical instances" for which, intuitively, …