Formal-semantics Definition

noun
The study of the semantics, or interpretations, of formal languages.
Wiktionary