论文部分内容阅读
描述两个模型的模态等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生.在模态逻辑中,互模拟沿着同态-强同态-有界态射-互模拟的轨迹而产生.在无穷模态语言的背景下或在像有穷的克里普克模型上,两个模型模态等价当且仅当它们是互模拟的.今天,互模拟在模态逻辑、集合论和计算机科学等领域中得到广泛的应用,显示了互模拟强大的理论价值和实践价值.