Provability and Interpretability Logics with Restricted Realizations | Publicación