On Provability Logics with Linearly Ordered Modalities | Publicación