Nouns

(n)formal semanticsthe branch of semantics that studies the logical aspects of meaning