# Category:Definitions/Formal Semantics

A formal semantics for $\mathcal L$ comprises:
• A notion of validity of $\mathcal L$-WFFs in these structures.