论文研究-命题模态逻辑S5系统中并行推理方法 .pdf

【文件属性】：
文件名称：论文研究-命题模态逻辑S5系统中并行推理方法 .pdf
文件大小：540KB
文件格式：PDF
更新时间：2022-09-06 11:18:51
计算机软件与理论 命题模态逻辑S5系统中并行推理方法，杨洋，李广力，本文对命题模态逻辑S5公理系统的性质进行了较为深入地研究，并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析，提出��