Apparently $\Box\Box\alpha\rightarrow\Box\alpha$ is known as C4.
Source: Stanford Encyclopedia of Philosophy.
Bjørn Kjos-Hanssen
- 24.8k
- 3
- 58
- 114