模态等价相关论文
首先介绍模态逻辑的两种语义：克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里......
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念，接着证明模态逻辑具有互模拟不......
什么叫模型的等价性？从计算机科学来看，刻画相同行为过程的两个标号转换系统称为等价模型，这种等价性称为行为等价性；从模态逻辑来看，具......
结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系：同构、P-态射、互模拟，从而得出互模拟关......
