Formal semantics means explaining the meaning of the MSC description by referring to a definition of the language in mathematical (logical) terms.
The formal semantics of MSC-92 is expressed in a process algebra. The point of describing the semantics mathematically is that proofs may be performed automatically and stringently.