Sémantique de Kripke
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le cadre sémantique relationnel qui attribue des valeurs de vérité aux formules en les évaluant dans des mondes d'un cadre de Kripke munis d'une valuation ; les modalités s'interprètent via la relation d'accessibilité reliant les mondes.