Texas Formal semantics may refer to: Formal semantics (logic) Formal semantics of programming languages Formal semantics (linguistics)