The papers collected here belong to a new wave of the logical tradition. Either directly or indirectly, they address the shortcomings of the earlier work, and develop the tradition in a variety of new and important directions.

Topics discussed include: how to build feature structures over structured entities, how descriptive complexity results can link the logical approach with the Chomsky hierarchy, how to combine categorial and featural information, why it is that multiple categorial systems can be made to communicate in a controlled way, how to deal with cross-serial dependencies in unification formalisms, and what category theory has to tell us about HPSG.