We model games where players strategically exchange messages in a language for reasoning and strategically update their reasoning. The language for the stage game incorporates awareness and knowledge and extends [14]'s propositional quantification to quantification over all sentences in the language. The updating of reasoning is modeled as a strategic choice of the players and the dynamics of the logic provide constraints for this strategic update choice. A communication game is constructed using an underlying incomplete information game, the strategic choice of messages and the strategic and logic dynamics. Multiple games are described varying by how the game theoretic type-space relates to the language for reasoning.