次协调的模态逻辑

• 作者: 姜云飞 孙吉贵 程晓春
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模态逻辑 次协调逻辑 模糊逻辑 Gentzen型推理系统
• 年，卷（期）: 1998,（11）
• 页码范围: 0
• 分类号: TP18
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
2	程晓春	吉林大学计算机科学系	5	4	1.0	1.0
3	姜云飞	吉林大学计算机科学系	2	8	2.0	2.0