An intuitionistic axiomatization of `eventually' | Publicación