Possible Worlds in Model-Theoretic Semantics: A Linguistic Perspective