Semantics and semantic consequence relation
It is important to distinguish the semantics of a logic from its semantic consequence relation
The semantics is a specification of the worlds that are logically possible
The semantic consequence relation is defined in terms of the semantics: a sentence ? follows semantically from a set of sentences S if ? is true in all worlds in which all sentences in S are true