Much of what follows will be concerned with the philosophical theories and presuppositions of applying possible worlds semantics in order to draw conclusions about matters involving what are called 'conceptual' or 'broadly logical' possibilities and necessities.