 This entry discusses the use of mathematical languages to express and analyze the formal properties of power in normal form games. The mathematical languages discussed in this entry will be referred to as logics, and classified according to their ability to express game-related concepts.