有界态射相关硕士博士期刊学术论文 - 搜论网

有界态射相关论文

走进模态逻辑的互模拟

描述两个模型的模态等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生.在模态逻辑中,......

期刊

模态逻辑同态有界态射互模拟

模态描述逻辑MALC模型的几个代数性质

本文定义了MALC模型间的同构、同态等关系，并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑......

期刊

MALC 有界态射不变性互模拟 MALCbounded morphismsinvariantbisimulation

看过本文同时还关注