Modal Logics with Composition on Finite Forests | Publicación