论文部分内容阅读
令F和F'是两个模态框架,本文(不用对应理论)首先证明当f是F到F'上的满同态时,f具有一些保持性;第二,证明了如果Z是框架F到F'上的一个满模拟,那么Z具有一些保持性质。第三,证明了模拟的等价条件和互模拟的等价条件以及满模拟和互模拟关系;第四,定义了生成子框架并证明了:如果F'是F的生成子框架,那么F'也具有一些保持性质;第五,定义了F和F'的不交并F F'并证明了它也具有一些保持性质。最后,证明了任意的非空模型M与一个禁自返模型之间存在一个满模拟。