Models of transfinite provability logic | Publicación