Describe the set of Kripke scales in which the formula $\square(\square p \to p) \to \square p$. is generally valid.
it seems that this is just a set of scales in which a loop necessarily comes out of every vertex except the root one (if there is one), but is this so?