On provability logics with linearly ordered modalities | Publicación