 The semantics of the formal language introduced above is generally presented in terms of so-called possible worlds. In epistemic logic possible worlds are interpreted as epistemic alternatives. Hintikka was the first to explicitly articulate such an approach (1962). This is another central feature of his approach to epistemology which continues to inform developments today. It may be stated,  simplified,[1]  as follows: