Provability and interpretability logics with restricted realizations | Publicación