Assuring and critical labels for relations between maximal consistent sets for interpretability logics | Publicación