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

【文件属性】：

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

文件大小：509KB

文件格式：PDF

更新时间：2022-10-02 19:13:47

论文研究

在模态逻辑系统S5中借助公式的状态描述等概念，提出了一种从最简单的原子公式对应的相容理论开始，对于较复杂的公式形式，寻找恰当的状态描述，再将对应的存在状态加入最初的相容理论后仍相容的方法。