图书介绍
动态认知逻辑专题研究 英文版PDF|Epub|txt|kindle电子书版本网盘下载
- 李小五编著 著
- 出版社： 广州：中山大学出版社
- ISBN：9787306036032
- 出版时间：2010
- 标注页数：367页
- 文件大小：12MB
- 文件页数：374页
- 主题词：认知逻辑－研究－英文
PDF下载
下载说明
动态认知逻辑专题研究 英文版PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
Chapter 1 Foundations1
1 Epistemic Logic2
2 Dynamic Logic PDL10
3 Dynamic Logic PDLω and One Generalization of It24
4 Dynamic Epistemic Logic46
Chapter 2 Do an Action49
1 Logics for Having Done an Action（Ⅰ）50
2 Logics for Having Done an Action（Ⅱ）64
3 Logics for Intending to Do an Action76
4 Logics for Being Doing an Action92
Appendix 1 A Logic for Transferring a State by Resultant Force101
Appendix 2 A Logic for Achieving an Intention by Doing an Action105
Chapter 3 Know an Action108
1 Self-substitution Systems109
2 Some Versions of Self-substitution Systems135
3 Minimal Systems and Bounded-valuation Method142
4 Semi-infinitary Proof Systems147
5 Fixed Point Systems149
6 Systems Containing Dα or Dgα154
Appendix What Is an Epistemic Action158
Chapter 4 Cognize an Agent163
1 Dynamic Epistemic Logics for Knowing an Agent164
2 Epistemic Logics for Knowing an Agent170
3 An Auto-epistemic Logic for Knowing an Agent179
4 A Dynamic Doxastic Logic for Believing an Agent182
Chapter 5 Cognize a Concept186
1 Know a Modality Concept187
2 Cognize a Cognitive Concept191
3 Cognize a General Modal Concept199
Chapter 6 Know an Individual and Know a Relation203
1 Know an Individual204
2 Know a Relation212
Appendix A First-order Epistemic Logic218
Chapter 7 Dynamic Negation225
1 Characterization by Abbreviations226
2 Characterization by Binary Relations237
3 Characterization by Ternary Relation243
Appendix An Action is Negated by Another Action246
Chapter 8 Dynamic Conditional Logics251
1 Conditional Logics for ？＞ψ252
2 Conditional Logics for ？＞αψ255
3 Conditional Logics for α＞β267
Chapter 9 Update Semantics for Epistemic Systems274
1 General Update Semantics275
2 Degenerate Frame Semantics282
3 Point Relation Frame Semantics299
4 Set Relation Frame Semantics321
5 Transformation Function Frame Semantics327
6 Selection-class Function Frame Semantics333
7 Neighborhood Function Frame Semantics339
8 Dynamic Frame Semantics344
Bibliography363
后记367