  In terms of the defined notion of satisfaction, Tarski introduces the notion of a model of a sentence. A model of a sentence S is an interpretation that satisfies the sentential function S′ determined by S; more generally, a model of a set of sentences K is an interpretation that satisfies all the sentential functions determined by sentences of K. And in terms of the defined notion of model Tarski proposes his defined notion of logical consequence. A sentence X is a (Tarskian) logical consequence of the sentences in set K if and only if every model of the set K is also a model of sentence X (cf.  Tarski 1983c, p. 417). Tarski proposes also a defined notion of logical truth (he uses the expression “analytic truth”) using the same apparatus: a sentence S is a (Tarskian) logical truth if and only if every interpretation of S is a model of S.  Analogous notions of Tarskian logical consequence and logical truth can be defined for other languages using the same method we have followed with LAr, just making the obvious changes.