Team semantics is an extension of classical logic where statements do not refer to single states of a system, but instead to sets of such states, called teams. This kind of semantics has applications for example in ...