Kripke semantics

Summary

Kripke semantics interprets modal logic in a set of possible worlds linked by an accessibility relation. A formula $\square\varphi$ is true at a world when $\varphi$ is true at every world accessible from it. Many modal logics are exactly the sets of formulas valid on a class of such frames. A variant of the semantics also serves intuitionistic logic.