Modelli Kripke - Valutazione del significato di $ box box p $

Question

In Kripke Models la valutazione di $ x vdash box p $ sarebbe che ogni mondo raggiungibile da $ x $ soddisfa $ p $.

Ma come sarebbe valutata la verità di $ box box p $ nei modelli Kripke?