Formal semantics is the study of the ‘meaning’ or interpretation of programming languages, logic or other formal languages.
Typically they depend on some context, including the types and values of symbols such as variables.
Goals
Define universe of discourse