<logic> For a wff, to be true for every interpretation of the formal language; to have every interpretation be a model. "Every interpretation" here is understood to mean all, but only, those interpretations in which the connectives and/or quantifiers take their standard meanings. In truth-functional propositional logic, logically valid wffs are also called tautologies. In standard predicate logic, logical validity is limited to interpretations with non-empty domains. Logical validity is also called logical truth.
Notation: |= A (A is a logically valid wff).
See k-validity, model, predicate logic, tautology, true for an interpretation
[Glossary of First-Order Logic]
Try this search on OneLook / Google