模态逻辑GL的基于广义谢弗竖的分析性模态公理系统（英文）

发布时间：2017-12-06 01:17

  本文关键词：模态逻辑GL的基于广义谢弗竖的分析性模态公理系统（英文）

  更多相关文章： 模态逻辑 分析性 GL 公理系统 完全性 inferential 记法 frames 定理证明 branch

【摘要】：基于广义谢弗竖这种新算子,本文构造了模态逻辑GL的模态表列和分析性模态公理系统。广义谢弗竖是一种n元算子,为模态逻辑的表达式提供一种新记法,使分析性模态公理系统的陈述直接明了。由于谢弗竖是一种新算子,基于它的模态表列规则与通常的基于模态词和联结词的表列规则有所不同。分析性模态公理系统中的内定理证明很简单。因为分析性模态公理系统与模态表列之间存在某种对应关系,所以GL的分析性模态公理系统的完全性由GL的模态表列的完全性结果易证。GL的模态系统的完全性证明比较特殊,无法直接应用证明模态逻辑完全性的一般方法——典范模型方法,需要用一种过滤的方法挑出一些可能世界构造有穷模型。
【作者单位】： 中国社会科学院马克思主义研究院;
【分类号】：B815.1
【正文快照】：

【相似文献】

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

1 郝一江;张晓君;;动态逻辑:关于程序的模态逻辑[J];哲学动态;2009年11期

2 宋伟;;《模态逻辑指南》中的若干错误[J];毕节学院学报;2010年03期

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

4 张晓君;;论模态逻辑中的嵌入问题[J];西南大学学报(社会科学版);2011年01期

5 李娜;王湘云;;共代数模态逻辑研究述评[J];哲学动态;2011年01期

6 刘新文;;现代模态逻辑探源[J];哲学动态;2011年05期

7 裘江杰;;模态逻辑典范框架几个侧面[J];重庆理工大学学报(社会科学版);2013年09期

8 董英东;;组合模态逻辑[J];毕节学院学报;2013年08期

9 王凤琴;《模态逻辑》简介[J];国外社会科学;1982年09期

10 郑文辉,梁庆寅;谈谈模态逻辑[J];现代哲学;1986年01期

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

1 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

2 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

3 冯棉;;模态逻辑研究中的若干问题[A];1993年逻辑研究专辑[C];1993年

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

5 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

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

7 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年

8 裘江杰;;一类认知词模态逻辑Ⅰ:基础逻辑[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

9 刘邦凡;;一个知识表示的广义模态逻辑方案[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

10 刘邦凡;何向东;;一个“知识”定义的逻辑解释[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

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

1 史t，

本文编号：1256866