Labelled tableaux for interpretability logics | Publicación