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.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
It is possible that ether exists according to symmetry of physical world and ether is virtual particle of super light velocity baseing on the formula of restricted relative theory.
文章从物理世界的对称性论述了以太存在的可能性，并指出根据狭义相对论公式可以得出以太是超光速的虚粒子。
Kripke and Putnam who has presented the theory of the historic causality consider that proper name is the rigid designator, and always refers to the same object in every possible world.
克里·普克、普特南是因果历史理论的代表，他们认为：专名是严格指示词，在每个可能世界都指称同一个对象。
应用推荐