On logical hierarchies within FO^2-definable languages (Logical Methods in Computer Science, 2012)