作　　者： ; ;

机构地区： 湖南科技学院

出　　处： 《重庆理工大学学报（社会科学）》 2013年第9期13-20,共8页

摘　　要： 对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画;构造模互模拟的商模型与模语言等价的商模型,证明了它们都是Σ-过滤的特例——Form(◇,Φ)-过滤(Form∞(◇,Φ)-过滤/Form(τ,Φ)-过滤/Form∞(τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系。 Firstly the paper constructs a unsymmetrical transitional model and antisymmetrical transi- tional model from a transitional model, and examines the role of the new models in proving some prop- erties of modal systems. Secondly the paper builds quotient models of modulo bisimulation and modulo language equivalence,

关 键 词： 互模拟 压延 商模型 语言等价

领　　域： [哲学宗教]