如何自学 占星术 占星教程网盘 塔罗牌教程百度网盘

模态逻辑导论PDF电子书下载

哲学宗教

• 作 者：（美）切莱士（Chellas，B.F.）着；郑文辉，张宜生译
• 出 版 社：广州：中山大学出版社
• 出版年份：1989
• ISBN：7306001647
• 页数：353 页

图书介绍： 查看图书目录点击购买PDF全本电子书 上一篇：心灵的新科学下一篇：当代政治神学文选 《模态逻辑导论》目录 标签：模态 导论 逻辑

第一部分3

第1章 导言3

1.1 真值和可能世界4

练习14

1.2 系统S518

练习27

第2章 逻辑预备32

2.1 句法32

练习41

2.2 模型，真值和有效性43

练习50

2.3 过滤54

练习56

2.4 模态逻辑系统59

练习64

2.5 可公理化性66

练习69

2.6 极大性和林登堡姆引理69

练习76

2.7 可靠性、完全性和典型模型77

练习79

2.8 可判定性和有限模型性质81

练习83

第二部分87

第3章 模态逻辑的标准模型87

3.1 标准模型88

练习92

3.2 模式D,T,B,4和599

练习106

3.3 模式Gk,l,m,n111

练习117

3.4 生成模型122

练习127

3.5 过滤130

练习135

3.6 过滤续论137

练习145

第4章 正规模态逻辑系统147

4.1 正规系统148

练习157

4.2 替换和对偶161

练习168

4.3 模式D,T,B,4和5169

练习180

4.4 模态189

练习198

4.5 正规系统中的极大集201

练习204

第5章 正规系统的确定和可判定性206

5.1 可靠性206

练习210

5.2 模态结语214

练习215

5.3 完全性：基本定理217

练习220

5.4 确定221

练习227

5.5 KGk,l,m,n230

练习232

5.6 可判定性234

练习237

第6章 义务逻辑238

6.1 标准义务逻辑238

练习240

6.2 进一步的原则241

练习243

6.3 义务和时间244

练习248

6.4 过去时义务248

练习250

6.5 不足251

练习253

第三部分257

第7章 模态逻辑的极小模型257

7.1 极小模型257

练习261

7.2 模式M,C和N266

练习271

7.3 增广273

练习277

7.4 模式D,T,B,4和5277

练习279

7.5 过滤282

练习285

第8章 经典模态逻辑系统288

8.1 经典系统288

练习291

8.2 单调系统和正则系统291

练习299

8.3 其他模式304

练习306

第9章 经典系统的确定和可判定性308

9.1 可靠性308

练习310

9.2 完全性：基本定理313

练习316

9.3 确定318

练习322

9.4 模式D,T,B,4和5323

练习325

9.5 可判定性326

练习327

第10章 条件逻辑330

10.1 条件性330

练习333

10.2 条件义务335

练习338

10.3 定义的条件义务339

练习340

参考文献精选342

术语表346

译后记353

相关图书

• 《物联网导论》张翼英主编 2020
• 《程序逻辑及C语言编程》卢卫中，杨丽芳主编 2019
• 《材料导论》张会主编 2019
• 《化工传递过程导论 第2版》阎建民，刘辉 2020
• 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编；包存宽 2020
• 《弗雷格逻辑主义研究》刘靖贤着 2019
• 《大数据导论》林子雨编着 2020
• 《卡塞尔不欢迎逻辑》（西）恩里克·比拉-马塔斯着；施杰李，雪菲译 2019
• 《跨文化交际学基础导论》林大津，尤泽顺导读 2007
• 《现代环境主义导论》（英）戴维·佩珀（David Pepper）着 2020

作者其它书籍

• 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东着 2004
• 《水面舰艇编队作战运筹分析》谭安胜着 2009
• 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙着 2020
• 《SQL与关系数据库理论》（美）戴特（C.J.Date） 2019
• 《TED说话的力量 世界优秀演讲者的口才秘诀》（坦桑）阿卡什·P.卡里亚着 2019
• 《燕堂夜话》蒋忠和着 2019
• 《经久》静水边着 2019
• 《魔法销售台词》（美）埃尔默·惠勒着 2019
• 《看漫画学钢琴 技巧 3》高宁译；（日）川崎美雪 2019
• 《优势谈判 15周年经典版》（美）罗杰·道森 2018

出版社其它书籍

• 《大学计算机实验指导及习题解答》曹成志，宋长龙 2019
• 《大学生心理健康与人生发展》王琳责任编辑；（中国）肖宇 2019
• 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
• 《大学英语教学的跨文化交际视角研究与创新发展》许丽云，刘枫，尚利明着 2020
• 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
• 《大学英语综合教程 1》王佃春，骆敏主编 2015
• 《大学物理简明教程 下 第2版》施卫主编 2020
• 《大学化学实验》李爱勤，侯学会主编 2016
• 《孙中山在上海》王琪森着 2019
• 《中国十大出版家》王震，贺越明着 1991

本类热门

• 1人生没什么不可放下 弘一法师的人生智慧
• 2答案之书
• 3臣服实验
• 4天生不同 人格类型识别和潜能开发
• 5性史1926
• 6被讨厌的勇气 “自我启发之父”阿德勒的哲学课
• 7加缪手记 第1卷
• 8病由心灭
• 9当下的力量 珍藏版
• 10易经真的很容易 修订版

摘要：本文以“模态逻辑导论.pdf电子书版文档下载”为中心，从文档的下载途径、内容概述、应用领域以及评价与影响四个方面进行了详细阐述，旨在为读者提供一份全面了解该文档的参考。

1、下载途径

“模态逻辑导论.pdf电子书版文档下载”可通过多种途径获取。首先，可以在学术网站、图书馆资源库等地方搜索并下载。其次，通过电子书平台、在线书店等渠道购买。此外，还可以通过社交媒体、学术论坛等途径获取他人分享的下载链接。

下载途径的多样性为读者提供了便利，使得更多人能够接触到模态逻辑这一领域的研究成果。

然而，需要注意的是，在下载过程中，要确保来源的可靠性，避免下载到含有病毒或恶意软件的文档。

2、内容概述

“模态逻辑导论.pdf电子书版文档下载”主要介绍了模态逻辑的基本概念、发展历程、主要理论以及应用领域。文档内容丰富，结构清晰，适合初学者和有一定基础的读者阅读。

文档首先对模态逻辑的定义、起源和发展进行了阐述，使读者对模态逻辑有一个全面的认识。接着，详细介绍了模态逻辑的主要理论，如模态算子、模态公式、模态推理等，使读者能够掌握模态逻辑的基本方法。

此外，文档还涉及了模态逻辑在各个领域的应用，如计算机科学、人工智能、哲学等，使读者了解到模态逻辑的实际价值。

3、应用领域

“模态逻辑导论.pdf电子书版文档下载”在应用领域方面具有广泛性。首先，在计算机科学领域，模态逻辑被应用于程序验证、软件工程、人工智能等方面，有助于提高软件质量和系统可靠性。

其次，在哲学领域，模态逻辑被用于研究知识、信念、可能性等概念，有助于深化对人类认知和思维的理解。

此外，模态逻辑在语言学、认知科学、逻辑学等学科领域也有广泛应用，为相关领域的研究提供了有力工具。

4、评价与影响

“模态逻辑导论.pdf电子书版文档下载”自发布以来，受到了广泛关注和好评。该文档对模态逻辑的介绍全面、系统，有助于读者深入了解这一领域。

在学术界，该文档被广泛引用，为相关研究提供了重要参考。在实践领域，该文档的应用价值也得到了充分体现。

总之，“模态逻辑导论.pdf电子书版文档下载”对模态逻辑的发展和应用产生了积极影响，为相关领域的研究和人才培养提供了有力支持。

总结：

本文对“模态逻辑导论.pdf电子书版文档下载”进行了全面阐述，从下载途径、内容概述、应用领域以及评价与影响四个方面进行了详细分析。该文档为读者提供了了解模态逻辑的窗口，有助于推动相关领域的研究和发展。

本文由nayona.cn整理

点击联系需要东西方神秘学学习资料，专业的咨询