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

• 作者: 姚从军 霍书全
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 互模拟 压延 商模型 语言等价
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 13-20
• 页数: 8页
• 分类号: B81
• 字数: 10855字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2013.09.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚从军	湖南科技学院思政部	31	63	4.0	7.0
2	霍书全	安徽大学哲学系	21	21	3.0	4.0