期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模态逻辑中转换结构的局限性
被引量：
1
1
作者
董英东
《辽宁工程技术大学学报（自然科学版）》
CAS
北大核心
2014年第2期284-288,共5页
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽...
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
展开更多
关键词
模态逻辑
转换
结构
典范模型
有穷模型性
赋值模型
朴素模型
完全性
加标转换
在线阅读
下载PDF
职称材料
互模拟的一些基本性质
被引量：
8
2
作者
李娜
姚从军
《云南师范大学学报（哲学社会科学版）》
CSSCI
2010年第5期68-73,共6页
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模...
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。
展开更多
关键词
关系结构
加标转换
系统
互模拟
在线阅读
下载PDF
职称材料
题名
模态逻辑中转换结构的局限性
被引量：
1
1
作者
董英东
机构
毕节学院逻辑与文化研究中心
西南大学逻辑与智能研究中心
出处
《辽宁工程技术大学学报（自然科学版）》
CAS
北大核心
2014年第2期284-288,共5页
基金
贵州省哲学社会科学规划基金资助项目(12GZYB63)
贵州省优秀科技教育人才省长基金资助项目([2012]50)
+3 种基金
贵州省教育厅一般基金资助项目(12GZJY20)
毕节学院高层次人才基金资助项目(G2012003)
贵州省科技厅联合基金资助项目(LKB201224)
中国博士后科学基金面上基金资助项目(2013M542251)
文摘
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
关键词
模态逻辑
转换
结构
典范模型
有穷模型性
赋值模型
朴素模型
完全性
加标转换
Keywords
modal logic
transition structure
canonical model
finite model property
valued model
unadornedmodel
completeness
labelled transition
分类号
TP278 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
互模拟的一些基本性质
被引量：
8
2
作者
李娜
姚从军
机构
南开大学哲学系
出处
《云南师范大学学报（哲学社会科学版）》
CSSCI
2010年第5期68-73,共6页
基金
国家哲学社科基金项目(08BZX049)
文摘
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。
关键词
关系结构
加标转换
系统
互模拟
Keywords
relational structure
labeled transition system
bisimulation
分类号
B815 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模态逻辑中转换结构的局限性
董英东
《辽宁工程技术大学学报（自然科学版）》
CAS
北大核心
2014
1
在线阅读
下载PDF
职称材料
2
互模拟的一些基本性质
李娜
姚从军
《云南师范大学学报（哲学社会科学版）》
CSSCI
2010
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
