Modèles Kripke - Évaluation de la signification de $ box box P $

Question

Dans les modèles Kripke, l'évaluation de $ x vdash box p $ serait que chaque monde accessible à partir de $ x $ satisfait $ p $.

Mais comment la vérité de $ box box P $ serait-elle évaluée dans les modèles Kripke?