In modal logic the actual world is the world as it is, contrasted with other possible worlds, representing ways it might have been. The central problem is to understand how the actual state of the world is to be characterized, except in terms that themselves make reference to alternative possibilities.