Apparently $\Box\Box\alpha\rightarrow\Box\alpha$ is known as **C4**.

Source: [Stanford Encyclopedia of Philosophy][1].


  [1]: http://plato.stanford.edu/entries/logic-modal/