走进模态逻辑的互模拟

发布时间：2017-10-21 05:39

  本文关键词：走进模态逻辑的互模拟

  更多相关文章： 模态逻辑 同态 有界态射 互模拟

【摘要】：描述两个模型的模态等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。在模态逻辑中,互模拟沿着同态-强同态-有界态射-互模拟的轨迹而产生。在无穷模态语言的背景下或在像有穷的克里普克模型上,两个模型模态等价当且仅当它们是互模拟的。今天,互模拟在模态逻辑、集合论和计算机科学等领域中得到广泛的应用,显示了互模拟强大的理论价值和实践价值。
【作者单位】： 南开大学哲学系;
【关键词】： 模态逻辑 同态 有界态射 互模拟
【分类号】：B815.1
【正文快照】： 一互模拟的含义及其产生的诱因从直观上讲,互模拟就是两个系统能够相互模仿对方,从而从观察者的角度讲,在某种程度上,它们是行为等价的。因此,互模拟是描述行为等价的一个数学概念,它从某个侧面反映客观世界两个系统行为之间的关系。互模拟可定义在各种结构上[1]。模态逻辑中

【相似文献】

中国期刊全文数据库 前10条

1 R.希尔卑伦;扬世武;;模态逻辑的某些认知解释[J];世界哲学;1987年01期

2 王云龙;古代社会向近代世界转型的多维整合研究简论[J];北方论丛;2000年01期

3 张力锋;模态逻辑的哲学归宿[J];四川大学学报(哲学社会科学版);2004年02期

4 张力锋;;论模态逻辑的合法性——对蒯因式模态词解读的批判考察[J];学术研究;2006年09期

5 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期

6 刘奋荣;;概念分析的奠基与发展[J];自然辩证法研究;2011年04期

7 沈洁;;现代模态逻辑对必然性的刻画[J];东南大学学报(哲学社会科学版);2006年S1期

8 姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期

9 董英东;;模态逻辑发展历史概述[J];燕山大学学报(哲学社会科学版);2010年02期

10 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期

中国重要会议论文全文数据库 前10条

1 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

2 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

3 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

4 谭宜家;;Fuzzy理想与Fuzzy同余关系[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（下卷）[C];1995年

5 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

6 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

7 张冠军;姜豪;;离散数学课程中的群论教学经验点滴[A];数学·物理·力学·高新技术研究进展——1998（7）卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年

8 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

9 关展鹏;龙冬阳;;基于迭代同态的公钥密码体制的实现(英文)[A];2006年全国理论计算机科学学术年会论文集[C];2006年

10 陈宗振;;古代突厥文献中的bεrk及其演变[A];中国民族古文字研究（第三辑）[C];1991年

中国重要报纸全文数据库 前10条

1 彭冬梅;交互同态反褶积处理技术[N];中国石油报;2005年

2 黄女瑛 DigiTimes;铝固态电容市场：人人有机会、多数没把握[N];电子资讯时报;2006年

3 李欣伟;“兼顾实惠和高标准”[N];山西日报;2003年

4 秦应春 范正英 记者 罗林;东坡两项目 入围“国家队”[N];眉山日报;2008年

5 范正英邋记者 罗林;科技成果转化东坡区一项目跻身国家级[N];眉山日报;2008年

6 万承奎;健康之窍：三句话 五把握[N];中国老年报;2004年

7 王欣;青少年消费新主张[N];广西政法报;2003年

8 岳天明;“社会化”概念的反思[N];社会科学报;2000年

9 中青;青少年消费主张兼顾实惠和高标准[N];深圳商报;2003年

10 仲言;在历史与想象之间[N];人民日报;2003年

中国博士学位论文全文数据库 前10条

1 张一凡;C~*-代数同态的分解性质[D];华东师范大学;2010年

2 颜倩倩;从C（X）到Ⅱ_1型因子上同态的近似同伦问题[D];华东师范大学;2012年

3 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

4 史t，

本文编号：1071633