 Kripke forcing relation

The Kripke forcing relation $w⊩A$ records that formula $A$ holds at world $w$. For intuitionistic implication, $w⊩A\to B$ exactly when every extension of $w$ that forces $A$ also forces $B$.