La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO con el agregado de cuantificadores que nos permitan incorporar distintos tipos de iteraciones en su interpretación semántica, con el fin de aumentar el poder expresivo de FO, aunque no alcancemos a cubrir totalmente la clase CQ.