# Structure de kripke

- ensemble de variables propositionnelles pour chaque état
- ensemble d'état