P-态射相关硕士博士期刊学术论文

结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系：同构、P-态射、互模拟，从而得出互模拟关......