In this paper we introduce a modal language LT for imposing constraints on trees, and an extension LT(LF) for imposing constraints on trees decorated with feature structures. The motivation for introducing these languages is to provide tools for formalising grammatical frameworks perspicuously, and the paper illustrates this by showing how the leading ideas of GPS6 can be captured in LT(LF). In addition, the role of modal languages (and in particular, what we have called layered modal languages) as constraint formalisms for linguistic theorising is discussed in some detail.

6th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1993
Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

Blackburn, P, Gardent, C, & Meyer Viol, W. P. M. (1993). Talking about trees. In Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1993 (pp. 21–29).