EnglishEdit

 
Wikipedia has an article on:
Wikipedia

NounEdit

formal semantics

  1. The study of the semantics, or interpretations, of formal languages.