 Analytic Implication has been given an elegant possible worlds semantics by Kit Fine. Fine adds to a possible worlds model a domain of subject matters. An implication holds at a world if and only if it both preserves truth at all accessible worlds and also every subject matter of the consequent is also a subject matter of the antecedent (Fine 1986).