他的可能世界理论(Possible World Theory )影响模态逻辑(Modal Logic，一种研究可能性与必然性的逻辑 )至钜。他也在确立对模态逻辑影响的同时以此讨论基督教的一些课题。
基于24个网页-相关网页
the theory of possible world 可能世界理论
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.
克里·普克、普特南是因果历史理论的代表，他们认为：专名是严格指示词，在每个可能世界都指称同一个对象。
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.
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
应用推荐