Kripke semantics
= Kripke semantics
{c}
{wiki}
<Kripke semantics> interprets logical formulas at worlds related by an accessibility relation or an information order. Modal logics use accessibility to interpret modal operators; intuitionistic logics use persistent valuations and quantify over stronger worlds for implication.