Describir: Algunas lógicas modales asociadas al razonamiento de agentes inteligentes