论文研究-模态逻辑系统S5中相容理论的构造方法.pdf

【文件属性】：
文件名称：论文研究-模态逻辑系统S5中相容理论的构造方法.pdf
文件大小：509KB
文件格式：PDF
更新时间：2022-10-02 19:13:47
论文研究 在模态逻辑系统S5中借助公式的状态描述等概念，提出了一种从最简单的原子公式对应的相容理论开始，对于较复杂的公式形式，寻找恰当的状态描述，再将对应的存在状态加入最初的相容理论后仍相容的方法。