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.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
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.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
应用推荐