适用于Agent非正规模态算子的一种语义解释
A SEMANTIC INTERPRETATION FOR AGENT’S NON\|NORMAL MODAL OPERATORS
-
摘要: 文中提出了适用于Agent非正规模态算子的一种语义解释.这种解释是基于正规可能世界的,不存在“逻辑全知”问题和由此带来的副作用等问题.与基于非正规可能世界的传统方法相比,不必增加可能世界的种类,比较自然、合理.文中方法同样适用于多数非正规模态逻辑系统Abstract: A semantic interpretation based on normal possible worlds is presented in this paper. It is satisfactory for agent’s non\|normal modal operators, and there are no logical omniscience problem, side\|effect problem, etc. Comparing with the method based on non\|normal possible worlds, this method is more natural and reasonable, and no additional non\|normal possible worlds are needed. It is also satisfactory for many non\|normal modal logic systems.
下载: