Modal logic is quite mature at its formal technique, but its possibleworldsemantics has many difficult in philosophical interpretations.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
2
To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possibleworldsemantics provides an effective tool for this.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
3
From the perspective of semantics and its definition of "logic truth", its subject promise is the possibleworld.