现代模态逻辑的多元视野
[Abstract]:As a new discipline of logic, modal logic has produced a lot of modal systems, the origin of these systems is multivariate, the historical development of modal logic has experienced the linguistic period, the classical period and the modern period. In the modern period of modal logic, the development of computer science has fundamentally changed the expectations of what modal logic can do and how modal logic can be applied.
【作者单位】： 华南师范大学政治与行政学院
【分类号】：B815.1
【相似文献】
相关期刊论文 前10条
1 J.T.Schwartz;苏运霖;;数学和计算机科学的相互影响[J];计算机科学;1982年01期
2 熊明辉;“全国逻辑与计算机科学学术研讨会”综述[J];哲学动态;2002年04期
3 黄智生;;关于知识的推理[J];计算机科学;1991年01期
4 陈波;从《哲学逻辑手册》(第二版)看当代逻辑的发展趋势[J];学术界;2004年05期
5 康巧茹;逻辑研究的第二次转向[J];宁夏党校学报;2003年02期
6 任晓明;李健;;模型检测思想和方法的演进[J];哲学动态;2010年10期
7 王莹莹;陈勇涛;;多值逻辑与认知研究新进展[J];国际学术动态;2008年02期
8 王克宏;胡篷;石纯一;;情景逻辑与时态逻辑在知识处理中的应用[J];计算机科学;1992年02期
9 王玮;;“国际逻辑会议LOGIC2009”会议综述[J];逻辑学研究;2009年03期
10 李志昌;;论“算法”[J];思维与智慧;1993年02期
相关会议论文 前10条
1 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年
2 陈波;;从《哲学逻辑手册》(第二版)看当代逻辑的发展趋势[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年
3 陈自立;;直觉主义逻辑的新公理系统RH[A];1995年逻辑研究专辑[C];1995年
4 张尚水;;二十世纪逻辑学的发展[A];逻辑学文集[C];1978年
5 ;贵州制约逻辑学会简介[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
6 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年
7 ;学术活动和科研成果是学会的生命线——学会工作体会[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
8 邹崇理;;信息时代的自然语言逻辑研究特色[A];2000年逻辑研究专辑[C];2000年
9 任晓明;崔清田;;逻辑多元论与逻辑在人文科学中的应用研究——兼谈《次协调逻辑与人工智能》[A];2003年逻辑研究专辑[C];2003年
10 张锦文;;推理与计算[A];逻辑学文集[C];1978年
相关重要报纸文章 前7条
1 ;中国逻辑学：回顾、反省与前瞻[N];光明日报;2003年
2 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
3 沈跃春;现代逻辑学及其发展趋势[N];人民日报;2004年
4 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年
5 本报记者 贺修平;云大王瑞探究“拉母赛理论”取得实质性突破[N];云南科技报;2009年
6 华东师范大学 冯棉;逻辑科学，将充满活力[N];社会科学报;2004年
7 鞠实儿 任远《逻辑学研究》编辑部;《逻辑学研究》:诞生与成长[N];中国社会科学报;2009年
相关硕士学位论文 前5条
1 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年
2 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年
3 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年
4 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年
5 金宏妍;人工智能视野下的进化逻辑研究[D];燕山大学;2010年
，本文编号：2312355
本文链接：https://www.wllwen.com/shekelunwen/ljx/2312355.html
