Knowledge, Belief, and Counterfactual Reasoning in Games