La semántica del lenguae de la lógica de predicados suele abordarse desde la llamada teoría de modelos.[3]

En ella, el significado se formaliza mediante una entidad de soporte junto con las propiedades y relaciones que se dan entre los elementos de esta entidad.