formal semantics

noun

1.
the branch of semantics that studies the logical aspects of meaning