Possible worlds semantics is a semantics for Modal logic.
John Etchemendy warns us to not confuse possible models in Tarski model theory with possible worlds in his The Concept of Logical Consequence. At the root of it is where the Sortals come from (which individuate individuals in the possible worlds).