To solve this question I wrote a short Haskell program which does a brute force search to find a winning strategy.

Could you tell us more about this? I am curious how this problem was formulated using modal logic. Seems fascinating