Indexed by：
Abstract：
文中提出了适用于Agent非正规模态算子的一种语义解释.这种解释是基于正规可能世界的,不存在＂逻辑全知＂ 问题和由此带来的副作用等问题.与基于非正规可能世界的传统方法相比,不必增加可能世界的种类,比较自然、合理.文中方法同样适用于多数非正规模态逻辑系统.
Keyword：
Reprint 's Address：
Email：
Version：
Source ：
计算机研究与发展
ISSN： 1000-1239
CN： 11-1777/TP
Year： 1999
Issue： 10
Volume： 36
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： 0
Affiliated Colleges：
