 This section looks at games in which individuals or groups take their choices independently and concurrently, and, we stress once more, abstracting away from how the interaction evolves in time. It pays particular attention to the relation between players’ choices and preferences, mentioning the role of knowledge, and most importantly it deals with how to express solution concepts in a logical language.