Algunas lógicas modales asociadas al razonamiento de los agentes inteligentes