《广义模态逻辑》值得细读--《1995年逻辑研究专辑》1995年

《1995年逻辑研究专辑》 1995年

《广义模态逻辑》值得细读

【摘要】：正近年来介绍模态逻辑的书时有出版。弓肇祥同志著《广义模态逻辑》(中国社会科学出版社,1993 年)无论在广度和深度上来说,都是值得向读者推荐的。该书是一本具有现代水平的,可供逻辑、哲学、语言学、法学、数学、计算机科学等各科高等学校青年学生、研究生和这些方面的科学家阅读的逻辑基本参考书。该书有四大特点:第一,用一定的篇幅介绍每一

【作者单位】：中国社会科学院哲学所
【分类号】：B815.1
【正文快照】：

近年来介绍模态逻辑的书时有出版.弓荤祥同志著《广义模态逻辑袱中国社会科学出版社，1993 年)无论在广度和深度上来说，都是值得向读者推荐的。该书是一本具有现代水平的，可供逻辑、哲学、语言学、法学、数学、计算机科学等各科高等学校育年学生、研究生和这些方面的科

全文下载：

CAJ格式（推荐）

PDF格式
不支持迅雷等加速下载工具，请取消加速工具后下载

CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	朱振江;“直隶第一女师”和“天津女界爱国同志会”考[J];天津师范大学学报(社会科学版);1980年03期
2	贾谷文;《建国以来甲骨文研究》即将由中国社会科学出版社出版[J];中原文物;1980年04期
3	王善才;湖北地区古人类遗存的发现与展望[J];江汉考古;1980年02期
4	陆海明;苏联出版研究中国古代文学作品的专著《从神话到小说》[J];文艺理论研究;1980年03期
5	施行;《英汉视听词典》在编写中[J];辞书研究;1980年02期
6	;《遗传学词典》编译本已出版[J];辞书研究;1980年02期
7	沙林;《简明农业词典》第一分册出版[J];辞书研究;1980年02期
8	吴名;《近代来华外国人名词典》[J];辞书研究;1980年03期
9	;几种经济方面的词汇将出版[J];辞书研究;1980年03期
10	方厚枢;建国三十年来出版辞书编目[续二][J];辞书研究;1980年03期

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

前10条

1	顾基发;;系统工程中的“软”、“硬”方法[A];发展战略与系统工程——第五届系统工程学会年会论文集[C];1986年
2	宋晓秋;;(T)Fuzzy积分及其应用[A];全国青年管理科学与系统科学论文集（第2卷）[C];1993年
3	徐泽同;;城市信息化问题[A];发展的信息技术对管理的挑战——99’管理科学学术会议专辑（下）[C];1999年
4	席酉民;冯耕中;;应用于DSS设计并支持决策分析的决策环境模型[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年
5	李京山;吴坚忠;;新一代智能化、综合性决策支持系统研究[A];全国青年管理科学与系统科学论文集（第1卷）[C];1991年
6	陈宁;;分形艺术的计算机创造与应用[A];中国土木工程学会计算机应用分会第七届年会论文集[C];1999年
7	席酉民;汪应洛;冯耕中;;试谈决策支持系统的研究和开发战略[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年
8	陈英武;;军队人力决策支持系统JGF设计与实现[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年
9	邱菀华;;GRASP仿真及在管理中的应用[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年
10	陈晓红;何晓洁;李一智;;自然语言理解在智能决策支持系统人机接口中的应用[A];全国青年管理科学与系统科学论文集（第2卷）[C];1993年

中国重要报纸全文数据库

前10条

1	记者孙爱民;中国科学出版集团诞生[N];中国电子报;2000年
2	吴月辉;斯坦福大学启动跨学科研究项目[N];中国化工报;2000年
3	高汉文;第四代无人驾驶汽车研制成功[N];中国汽车报;2000年
4	本报记者邵斌;史丰收，躲不开的官司！[N];大众科技报;2000年
5	陈波;人工智能当代逻辑发展的动力[N];光明日报;2000年
6	;科学出版社推出《艾滋病病毒与艾滋病的发病机制》[N];光明日报;2000年
7	马都;《临床心电图学词典》[N];健康报;2000年
8	何学;《高等医学院校选用教材》[N];健康报;2000年
9	记者许鹤;我省“人才培养模式改革和开放教育试点”正式启动[N];吉林日报;2000年
10	本报记者贺宏良;以IT“战略家”的名义[N];中国计算机报;2000年

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

前10条

1	尹增山;混杂系统优化控制理论研究[D];浙江大学;2001年
2	粟阳;笔式用户界面研究——理论、方法和实现[D];中国科学院研究生院（软件研究所）;2002年
3	李琪;集成化钻井智能决策支持系统的理论与应用研究[D];西南石油学院;2002年
4	兰少华;多Agent技术及其应用研究[D];南京理工大学;2002年
5	霍现俊;《金瓶梅》艺术论要[D];首都师范大学;2004年
6	王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
7	覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年
8	李良炎;基于词联接的自然语言处理技术及其应用研究[D];重庆大学;2004年
9	杨帆;德治图景下的中国传统司法文化研究[D];中国政法大学;2005年
10	曲惠琴;DNA计算若干问题研究[D];复旦大学;2005年

中国硕士学位论文全文数据库

前10条

1	赵景华;我国企业经营管理模式探讨[D];山东大学;1986年
2	王菲;安全技术研究及其在MIS中的应用[D];大连理工大学;2000年
3	周世杰;网络环境下中间件技术研究与开发[D];电子科技大学;2000年
4	李彦;内蒙古草原畜牧业可持续发展中的问题及对策[D];内蒙古农业大学;2000年
5	欧阳志兵;宗教利益集团对美国对外政策的影响[D];外交学院;2000年
6	刘文丽;辛代数的Peirce分解[D];河北大学;2000年
7	李群;高速公路收费系统及分布式数据库研制与开发[D];西安电子科技大学;2001年
8	张咏梅;广播电视发射台微机实时监控系统的研究[D];厦门大学;2001年
9	韩习武;机器翻译中语义因素的理论分析[D];黑龙江大学;2001年
10	王倩;商业英语翻译研究以——《财富》文章翻译为例[D];对外经济贸易大学;2001年