Semantics for the logic of essence

This paper provides a possible worlds semantics for the system of the autho r's previous paper 'The logic of essence'. The basic idea behind the semant ic is that a statement should be taken to be true in virtue of the nature o f certain objects just in case it is true in any possible world compatible with the nature of those objects. It is shown that a slight variant of the original system si sound and complete under the proposed semantics.