Logical reasoning in games