Meaning of formal semantics

(noun) the branch of semantics that studies the logical aspects of meaning