Sémantique de Kripke

En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles. La relation R est appelée relation d'accessibilité du cadre. Un cadre de Kripke est habituellement représenté sous la forme d'un graphe orienté dont les mondes sont les sommets et dont la relation d'accessibilité donne les arcs. Une telle relation R définit les mondes accessibles depuis chaque monde. Dans l'exemple ci-contre, w3 et w4 sont les deux mondes accessibles depuis w2. La structure (,