Pandora /
State2In the third state, player 2 puts a black stone in the box and switches his hand with player 1. By doing this, player 2 will understand what stone player 1 putted in the Box in the previous turn. Player 1 will also understand the move of Player 2. However, player 3 has no idea about what stones were put in the Box by player 1 and 2. Therefore, player 3 consider all 4 combinations possible. M(c1,b1,f3) |= K1 (c1 AND b1 AND f3) M(c1,b1,f3) |= K2 (c1 AND b1 AND f3) M(c1,b1,f3) |= K1 K2 (c1 AND b1 AND f3) M(c1,b1,f3) |= K2 K1 (c1 AND b1 AND f3) M(c1,b1,f3) |= K3 ~(c1 AND b1 AND f3) |