The most clearly related work within computational linguistics is probably that of Patrick Blackburn on applying modal logic to the description of trees (the work of Blackburn and his associates on describing trees in logical terms--modal logic, in their case--has been developing since about 1993; see Blackburn and Meyer-Viol [1997] for an overview).
there is an exact descriptive-complexity characterization of the context-free languages.