'formal semantics' definitions:

Definition of 'formal semantics'

From: WordNet
noun
The branch of semantics that studies the logical aspects of meaning