第二章，考察了以可能世界语义学为基础的命题处理方案。
Chapter two investigates the approach to study proposition based on Semantics of Possible World.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
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 focus of this paper is researching Kripke's theory of proper names on the basis of his philosophical thinking, and on the background of semantics of possible worlds and essentialism.
本文试图立足于克里普克的哲学思想，以其可能世界语义学和本质主义为背景，对其专名理论作研究的重点。
The focus of this paper is researching Kripke's theory of proper names on the basis of his philosophical thinking, and on the background of semantics of possible worlds and essentialism.
应用推荐