The logical relation (⊩), normally read as “**forces**” is a relationship between a possible world of modal logic, and some proposition or predicate sentence in that world.

The relation ⊩ is the third member of a modal model — a logical object that consists of some set of possible worlds, some accessibility relationship between those worlds, and the relation ⊩ which describes which propositions or predicate terms are true in which worlds.

Ultimately, if we have some possible world, Δ, then we may express that some proposition, P, is true in that world by **Δ ⊩ P**. This may be read as “Δ *forces* P”, which is to say that P, which would generally be either possible or neccessary with respect to all possible worlds, becomes actually true in the possible world Δ

To indicate that a possible world does not force a proposition or formula, we use the symbol ⊮. So if **Γ ⊩ ¬P**, then **Γ ⊮ P**.