Indexed by：
Abstract：
文中提出了适用于Ａｇｅｎｔ非正规模态算子的一种语义解释．这种解释是基于正规可能世界的，不存在“逻辑全知”问题和由此带来的副作用等问题．与基于非正规可能世界的传统方法相比，不必增加可能世界的种类，比较自然、合理．文中方法同样适用于多数非正规模态逻辑系统
Keyword：
Reprint 's Address：
Email：
Source ：
计算机研究与发展
Year： 1999
Issue： 10
Page： 1153-1157
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
