Theory and application of labelling techniques for interpretability logics | Publicación