This volume deals with descriptive complexity issues in linguistic theory formation. Starting from recent results on the transparent logical characterizations of context-free fragments of Generative Grammars it is a progress report on the attempts of meeting the challenge of providing controlled extensions of the formal apparatus which retain its agreable properties like decidability and transparency while admitting exactly the expressive power necessary for linguistic applications.