 The above definitions yield a logic, in one standard sense: a class of formal languages for which we’ve provided a model theoretic semantics that determines a rigorous notion of logical  truth.[31]  And the logic they define is classical (first-order) predicate logic.