#24723In 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.
other,12-2-E93-1004,ak
to provide tools for formalising
<term>
grammatical frameworks
</term>
perspicuously , and the paper illustrates
#24691The 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 GPSG can be captured in LT (LF).