'formal semantics' definitions:

Definition of 'formal semantics'

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