To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.