On the Modal Definability of Simulability by Finite Transitive Models | Publicación