Modal logic is quite mature at its formal technique, but its possible worldsemantics 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 possible worldsemantics provides an effective tool for this.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
3
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.