This paper addresses the problem of how to represent semantic facts in possible worlds semantics. To this aim we associate a valuation function to every world in a Kripke frame that specifies the language of that world. The result is a two-dimensional semantics for which we present a complete axiomatization in a logical language that is based on standard modal logic. Lastly, we sketch possible philosophical applications of the framework.