Concept

Sémantique de Kripke

Résumé
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. Définitions Cadre de Kripke 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 (\mathbb{N}
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement