 To see why, suppose \(A\) is a logical truth. Then in any model, it is true at all possible worlds. So given any world \(w\) in an arbitrary model, \(A\) is true at all worlds accessible from \(w\), hence \(\Box A\) is true at \(w\), and so \(\Box A\) too is valid.