Let us assume that > stands for ‘if then’ as used in indicative sentences, and that 1 and 0 designate truth and falsity. According to the strict conditional view, the truth conditions of p > q are defined relative to a possible world w as follows: Definition 1: [p > q] = 1 in w if and only if, for every w′, either [p] = 0 in w′ or [q] = 1 in w′. As is natural to expect, the set of possible worlds over which ‘every’ ranges may vary from context to context, just as in any other quantified sentence. To say that p > q is true simpliciter is to say that p > q is true in the actual world.
˜