满模拟下的一些保持性

Preservation under the Circumstance of Full Simulation

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

With F and F’as two modes,this paper studies the preservation for f,supposing it as an epimorphis from F to F,as well as some other logic values and transformations in terms of generation,framework and sub-frameworks and features.