Before revision: The framework of formal semantics studies the denotations of sentences and how they are composed from the meanings of their constituent expressions.
After revision: Within linguistics, the subfield of formal semantics studies the denotations of sentences and how they are composed from the meanings of their constituent expressions.