次协调的模态逻辑

摘要

将次协调模糊推理方法推广到模态逻辑，提出次协调的模态逻辑，其逻辑推理关系是次协调模糊蕴含的模态推广，既可处理不一致信息，又可表示多世界模型．给出了次协调模态逻辑的正确而且完备的Ｇｅｎｔｚｅｎ型推理系统．