Definition der semantischen Folgerung

[Pippen]

Eine Frage an Logik-versierte:

A |= B gdw. A, B wff einer Sprache L und ein beliebiges Modell von A in L auch Modell für B ist. So geht glaub ich die Standarddefinition. Deshalb kam ich auf den Gedanken zu definieren, dass

|= B gdw. B wff einer Sprache L und ein beliebiges Modell in L auch Modell für B ist.

Kann man das so definieren oder muss/soll man besser mit dem Begriff der Interpretation arbeiten?