Search Result for "formal semantics":
Wordnet 3.0

NOUN (1)

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



WordNet (r) 3.0 (2006):

formal semantics
    n 1: the branch of semantics that studies the logical aspects of
         meaning