 In the standard Kripke semantics for modal logic, truth is relative to points in a set. Thus, a propositional symbol might have different truth-values relative to different points. Usually, these points are taken to represent possible worlds, times, epistemic states, states in a computer, or something else. This allows us to formalize natural language statements whose truth-values are relative to for example times, like the statement