On Tame Semantics for Interpretability Logic | Publicación