 The syntactic and semantic formulations of the two criteria are plainly parallel. However, even if we suppose that strong completeness theorems hold for \(L\) and \(L^{+}\), the two formulations are not equivalent. Indeed, several different, non-equivalent formulations of the two criteria are possible within each framework, the syntactic and the semantic.