Cadre de Kripke

Une structure relationnelle (W,R) constituée d'un ensemble non vide W de mondes possibles et d'une relation d'accessibilité binaire R ⊆ W×W utilisée pour interpréter des opérateurs modaux ou temporels indépendamment de toute valuation des atomes propositionnels.