> 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 cu

> 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