The Herbrand Manifesto
... In much of the literature, Herbrand semantics is treated (somewhat understandably) as a special case of Tarskian semantics - the case where we look at so-called Herbrand
interpretations. Although the two are similar in many ways, they are not the same.
First of all, in Tarskian semantics, there are ...