 Depending on players’ preferences, knowledge and capabilities some outcomes will be more likely to be chosen. In order to understand which ones, game theory has devised solution concepts, formally functions from the set of games to the set of outcomes in each of these games, which describe players’ rationality in mathematical terms. Solution concepts, as we will see later, can be succinctly expressed in simple and well-behaved logics.