However, this paper proves that it follows from Lewis's possible world semantics
for counterfactuals, in particular his Centring condition, that all nonmodal facts supervene on counterfactuals.
Bryan Frances concentrates on two areas only: Kripke's challenge to the Fregean paradigm (regarding meaning and reference), and his work on the metaphysics of meaning; he also briefly mentions Kripke's theses regarding names and possible world semantics
, and his reading of Wittgenstein's Philosophical Investigations.
But he does not go down the road of possible world semantics
because he wants to make a contribution to analytic philosophy of literature, not, except per accidens, philosophical semantics.
A good illustration of this is the discussion of possible world semantics
and Montague's treatment of intensions in Chapter 10.
The introduction of the epistemic operator, K, requires the adoption of a possible world semantics
for the interaction language (the language used by a reasoning engine to interact with a knowledge base at the knowledge level).
However, Humberstone's semantics suggests that perhaps Richard is giving up too much here--he needn't adopt possible world semantics
if he is willing to live with intensional primitives.
Possible World Semantics was introduced by Kripke  in the context of Modal Logic.
Without entering into the details of this semantics, one of the main advantages of Possible World Semantics is that it enables the evaluation of the truth value of a conditional sentence without explicitly defining the operator "[right arrow]" [Lewis 1986].
However, formally this stricture should be no scarier than forbidding talk of truth outside of the structure of worlds once we have accepted possible world semantics.
8) Still, this deliberation does not mean that there are no possible worlds, or that we should be skeptics about possible world semantics.
In Brandom's story, the overthrow of Quineanism waits on the work of David Lewis whose possible world semantics
yields the modal logic that Quine would not sanction.
In chapter 1 he contends that possible world semantics
provides an inadequate explanation of essence.