基于互模拟的两种模态逻辑模型构造方法及其应用 |
| |
引用本文: | 姚从军,霍书全.基于互模拟的两种模态逻辑模型构造方法及其应用[J].重庆理工大学学报(社会科学版),2013,27(9). |
| |
作者姓名: | 姚从军 霍书全 |
| |
作者单位: | 1. 湖南科技学院思政部,湖南 永州,425199 2. 安徽大学哲学系,合肥,230039 |
| |
基金项目: | 2012年国家社科基金项目"互模拟理论的逻辑研究"(12BZX060)的研究成果之一 |
| |
摘 要: | 对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画;构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form(◇,φ)-过滤(Form∞(◇,Φ)-过滤/Form(Τ,Φ)-过滤/Form∞(Τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系.
|
关 键 词: | 互模拟 压延 商模型 语言等价 |
Two Methods of Building Models Based on Bisimulations |
| |
Authors: | YAO Cong-jun HUO Shu-quan |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|