https://9lib.org/document/ozl413ry-theses-iterated-modalities-modal-logics-c-s.html