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

摘要：

对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画；构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form(◇,φ)-过滤(Form∞(◇,Φ)-过滤/Form(Τ,Φ)-过滤/Form∞(Τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系.

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

所属期刊栏目：27

分类号：B81(逻辑学(论理学))

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

在线出版日期：2013-11-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：13-20