Formal Semantics

It deals with the logical and mathematical aspects of meaning representation and interpretation.