A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages