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

唐芳芳

首页> 中文期刊> 《逻辑学研究》 >模态逻辑GL的基于广义谢弗竖的分析性模态公理系统

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

基于广义谢弗竖这种新算子,本文构造了模态逻辑GL的模态表列和分析性模态公理系统.广义谢弗竖是一种n元算子,为模态逻辑的表达式提供一种新记法,使分析性模态公理系统的陈述直接明了.由于谢弗竖是一种新算子,基于它的模态表列规则与通常的基于模态词和联结词的表列规则有所不同.分析性模态公理系统中的内定理证明很简单.因为分析性模态公理系统与模态表列之间存在某种对应关系,所以GL的分析性模态公理系统的完全性由GL的模态表列的完全性结果易证.GL的模态系统的完全性证明比较特殊,无法直接应用证明模态逻辑完全性的一般方法——典范模型方法,需要用一种过滤的方法挑出一些可能世界构造有穷模型.

著录项

来源
《逻辑学研究》 |2016年第2期|1-13|共13页
作者
唐芳芳;
展开▼
作者单位

中国社会科学院马克思主义研究院;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词

相似文献

中文文献
外文文献
专利

1. 基于广义谢弗竖的分析性模态公理系统 [J] . 唐芳芳 . 逻辑学研究 . 2009,第003期
2. 基于模态逻辑D公理系统的Conformant规划方法 [J] . 吕帅 ,刘磊 ,李莹 . 计算机研究与发展 . 2009,第007期
3. 模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统 [J] . 周祯祥 . 自然辩证法通讯 . 1997,第3期
4. 广义模态逻辑研究中的若干问题 [J] . 冯棉 . 华东师范大学学报：哲学社会科学版 . 2001,第5期
5. 评弓肇祥新著《广义模态逻辑》 [J] . 无 . 北方论丛 . 1996,第001期
6. 模态逻辑GL的基于广义谢弗竖的分析性模态公理系统 [C] . Fangfang Tang ,唐芳芳 . 2017年全国现代逻辑学术研讨会 . 2017
7. 奎因与模态逻辑的发展——关于模态逻辑的合法性论争 [A] . 聂成丽 . 2009

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

摘要

著录项

相似文献

相关主题

期刊订阅