formal semantics

definition: the branch of semantics that studies the logical aspects of meaning
example:
speech part: noun
synonyms:

How formal semantics is being used?