Dealing with imperfect information in Strategy Logic

Sophia Knight, Bastien Maubert

We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One original aspect of our…