首页> 中文会议>2013年全国应用逻辑学术年会 >基于互模拟的两种模态逻辑模型构造方法及其应用

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2013年全国应用逻辑学术年会》|2013年|13-20|共8页
会议地点北京
作者
YAO Cong-jun; 姚从军; HUO Shu-quan; 霍书全;
展开▼
作者单位

中国逻辑学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类逻辑学（论理学）;
关键词
逻辑模型; 建模方法; 模互模拟;

相似文献

中文文献
外文文献
专利

1. 基于互模拟的两种模态逻辑模型构造方法及其应用 [J] . 姚从军 ,霍书全 . 重庆理工大学学报 . 2013,第009期
2. 基于互模拟的两种模态逻辑模型构造方法及其应用 [J] . 姚从军 ,霍书全 . 重庆理工大学学报（社会科学版） . 2013,第009期
3. 基于互模拟和有界互模拟的模态逻辑模型之间的关系 [J] . 姚从军 ,李健 . 毕节学院学报 . 2013,第004期
4. 基于互模拟的模态逻辑与非良基集合论之间的关系 [J] . 姚从军 . 毕节学院学报 . 2012,第001期
5. 罗尔定理应用中辅助函数的两种构造方法 [J] . 石丽娜 ,邢丽丽 . 高等数学研究 . 2019,第003期
6. 指标互模拟的模态逻辑特征 [C] . 张晋津 ,朱朝晖 . 2005中国计算机大会 . 2005
7. 结构有限元的广义模态构造方法及其应用研究 [A] . 何鹏秋 . 2017

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

摘要

著录项

相似文献

相关主题

期刊订阅