Superação do formalismo platónico extensionalista pelas lógicas intensional e modal | Publicación