Possible World Semantics 可能世界语义
possible-world semantics 可能世界语义学
the possible world semantics 可能世界语义学
semantics of possible world 可能世界语义学
Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
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.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
XSLT 2.0 recommendation, maintained by the World Wide Web Consortium: Read more about the syntax and semantics of XSLT 2.0, a language for transforming XML documents into other XML documents.
由万维网联盟维护的XSLT 2.0推荐标准：阅读更多有关XSLT 2.0(一种将XML文档转换为其他XML文档的语言)的语法和语义的内容。
应用推荐