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

【文件属性】：

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

文件大小：540KB

文件格式：PDF

更新时间：2022-09-06 11:18:51

计算机软件与理论

命题模态逻辑S5系统中并行推理方法，杨洋，李广力，本文对命题模态逻辑S5公理系统的性质进行了较为深入地研究，并对S5系统中一类具有代表性的标准模态子句集的特性进行了分析，提出��