 Robert Stalnaker (1968) presented truth conditions for subjunctive conditionals. A subjunctive conditional is true if and only if in the nearest antecedent-world, its consequent is true. (This analysis is understood so that a subjunctive conditional is true if its antecedent is true in no world.) Stalnaker used analysis of subjunctive conditionals to ground their role in decision theory and in a resolution of Newcomb’s problem.