刻画不同应当算子的STIT逻辑

来源 :2017年全国现代逻辑学术研讨会 | 被引量 : 0次 | 上传用户：me272206010

【摘要】

：

在STIT逻辑当中,应做语句可被表示为O[α]dA这一形式.Belnap et al.[2001]给出了O[α]dA的三种定义方式以便于刻画应做语句.本文中,将在这三种定义方式的基础上给出

【作者】

：

贾青

【机构】

：

中国社会科学院哲学研究所

【出处】

：

2017年全国现代逻辑学术研讨会

【发表日期】

：

2017年10期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在STIT逻辑当中,应做语句可被表示为O[α]dA这一形式.Belnap et al.[2001]给出了O[α]dA的三种定义方式以便于刻画应做语句.本文中,将在这三种定义方式的基础上给出STIT逻辑系统Ldo,进而给出应是语句与应做语句间关系的不同刻画方式.除此之外,还将说明这个STIT系统相较于其他系统的优势.文章最后则是一些未解决的问题和未来的工作.

其他文献

建筑工程质量问题探究及控制措施

随着城市化建设的全面发展,人们在生产或生活中对房屋建筑质量的要求不断提高.在建筑工程施工领域,建筑工程中项目质量管理效率的提升与质量控制工作的实效性已经成为集中关

期刊

建筑工程质量问题控制措施

重庆优化社会结构的探索

近几年来，重庆市坚持“民生导向促共富”的发展之路，对完善新时期社会结构，创新社会管理体制机制，实现经济结构和社会结构的协调发展，进行了大量的实践和探索，具有较强的理论和实践

期刊

社会结构重庆市优化社会管理体制协调发展经济结构示范价值新时期

基于混合现实技术的互动体验旅游模式研究

本文基于用户体验需求，提出基于混合现实技术实现互动旅游开发新模式。做到把握用户的内在心理需求，丰富旅游体验以交互方式，改善服务质量、提升服务功能，为移动互联网在线虚拟旅

期刊

用户体验互动旅游虚拟旅游服务

影响建筑工程施工监理质量的因素及控制措施

建筑工程施工监理主要就是针对施工的各个环节进行全面监管,既能够保障施工质量,又能够有效的减少施工成本,提高施工效率.在建筑工程施工监理质量优化的过程中,必须要建立全

期刊

建筑工程施工监理质量因素控制措施

万家寨春秋——“黄河边墙”系列之一

一rn万历二十九年(1601年)仲春,蓟辽总督万世德上书皇帝,请旨在家乡山西镇的关首偏头关设立“龙华盛会”,以追悼在平倭战役中为大明国英勇捐躯的大批将士和超度在那次战役中

期刊

万家寨黄河战役总督追悼亡灵山西家乡皇帝朝鲜

中美国际学生法律法规比较研究

关键词中美国际学生法律法规富布莱特法案　　基金项目：中国高等教育协会外国留学生教育管理分会2016-2017年来华留学教育科学研究课题“研究型大学来华留学预科教育课程体系研究”。　　作者简介：张林华，同济大学国际文化交流学院助教，研究方向：来华留学教育;时玥，同济大学国际文化交流学院助教，研究方向：国际学生思想教育。　　中图分类号：D920.0

期刊

中美国际学生法律法规富布莱特法案

Access数据库在公房管理中的应用

随着高校信息化建设的开展以及互联网技术的不断成熟，公房管理信息化建设也如火如荼。本文就如何利用通勤软件MicrosoftAccess在高校公房管理中的应用做了初步探索。

期刊

高校公房管理MicrosoftAccess

旅游行业并购的财务风险分析与防范——以携程网去哪儿网并购为例

随着经济的全球化发展,市场竞争日趋激烈,企业要保持可持续发展就必须提高自身的核心竞争力,因此企业并购应运而生,并成为企业快速扩张的有效途径.企业发展自身有内源式和外

期刊

企业并购财务风险携程网去哪儿网

多媒体和电脑技术在教学中的应用

随着科技时代的到来，多媒体应用以及电脑技术已经应用在诸多领域，局域网以及互联网成为了多媒体和电脑技术的重要支撑，多媒体和电脑技术在一定的网络环境下通过链接音频以及视频

期刊

多媒体和电脑技术教学应用

广西建设社会主义新农村的意义与思路

新农村的建设有利于解决广西“三农”和广西城乡二元结构的问题,有利于广西全面建设小康社会和构建和谐社会目标的实现,关系到广西乃至全国国民经济的持续快速健康发展。政府

期刊

广西国新农村意义思路

刻画不同应当算子的STIT逻辑

与本文相关的学术论文