模态逻辑D演绎过程的化简规则期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

模态逻辑D演绎过程的化简规则

引用本文：	程晓春,孙吉贵.模态逻辑D演绎过程的化简规则[J].吉林大学自然科学学报,1995(2):39-43.

作者姓名：	程晓春孙吉贵

摘要：
关键词：	模态逻辑D系统化简规则自动演绎 Tableau法
本文献已被维普等数据库收录！