MALC相关论文
文中[1]给出模态描述逻辑MALC的语法与语义，同时给出MALC两个模型之间的互模拟关系，讨论MALC的模型之间互模拟及互模拟所组成集合具......
本文定义了MALC模型间的同构、同态等关系，并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑......
