 As we do in classical first-order logic, from the set of finite strings of elements of the alphabet we select the expressions of \(L\): terms and formulas. The only difference is that in many-sorted logic terms have sorts and we have to specify it.