We provide a new characterization of AGM belief revision in terms of a Kripke-Stalnaker-Lewis semantics. We consider … belief revision functions, in the following sense: (1) each model gives rise to a (possibly partial) belief revision function … that can be completed into a full AGM belief revision function, and (2) for every AGM belief revision function there is a …