Original sentence: To put things in a way similar to the way suggested above, possible worlds are used to provide a semantics for claims about possibility and necessity: a statement in modal logic that is possible is said to be true at at least one possible world (noting that logicians prefer to say at, not in, a possible world); a statement that is necessary is said to be true at all possible worlds, and a statement that is true is one that is at least true at this world (the actual world)
Edited sentence: To put things in a way similar to the way suggested above, possible worlds are used to provide a semantics for claims about possibility and necessity: a statement in modal logic that is possible is said to be true at least [in] one possible world (noting that logicians prefer to say at, not in, a possible world); a statement that is necessary is said to be true at all possible worlds, and a statement that is true is one that is at least true at this world (the actual world)