La posibilidad de desarrollo formalizado de lógicas polivalentes, modales,etc.