基于互模拟的两种模态逻辑模型构造方法及其应用  

Two Methods of Building Models Based on Bisimulations

作　　者：姚从军[1] 霍书全[2] 

机构地区：[1]湖南科技学院思政部,湖南永州425199 [2]安徽大学哲学系,合肥230039

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

基　　金：2012年国家社科基金项目"互模拟理论的逻辑研究"(12BZX060)的研究成果之一

摘　　要：对休斯(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,

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

分 类 号：B81[哲学宗教—逻辑学]