The noun formal semantics is uncountable.
The plural form of formal semantics is also formal semantics.