建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
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.
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.
个体词的逻辑性质可以从句法和语义两个方面来分析。
The logical properties of individual terms can be analyzed in both syntactical and semantic aspects.
应用推荐