Formal semantics has 2 different meanings across 1 category:
Noun
the branch of semantics that studies the logical aspects of meaning
The study of the semantics, or interpretations, of formal languages.