In this paper I assess the prospects for combining contemporary Everettian quantum mechanics (EQM) with branching-time semantics in the tradition of Kripke, Prior, Thomason and Belnap. I begin by outlining the salient features of ‘decoherence-based’ EQM, and of the ‘consistent histories’ formalism that is particularly apt for conceptual discussions in EQM. This formalism permits of both ‘branching worlds’ and ‘parallel worlds’ interpretations; the metaphysics of EQM is in this sense underdetermined by the physics. A prominent argument due to Lewis (On (...) the Plurality of Worlds, 1986 ) supports the non-branching interpretation. Belnap et al. (Facing the Future: Agents and Choices in Our Indeterministic World, 2001 ) refer to Lewis’ argument as the ‘Assertion problem’, and propose a pragmatic response to it. I argue that their response is unattractively ad hoc and complex, and that it prevents an Everettian who adopts branching-time semantics from making clear sense of objective probability. The upshot is that Everettians are better off without branching-time semantics. I conclude by discussing and rejecting an alternative possible motivation for branching time. (shrink)

The concept of event provides the essential bridge from the realm of virtuality of the quantum state to real phenomena in space and time. We ask how much we can gather from existing theory about the localization of an event and point out that decoherence and coarse graining—though important—do not suffice for a consistent interpretation without the additional principle of random realization.