图书介绍

动态认知逻辑专题研究 英文版2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

动态认知逻辑专题研究 英文版
  • 李小五编著 著
  • 出版社： 广州：中山大学出版社
  • ISBN：9787306036032
  • 出版时间：2010
  • 标注页数：367页
  • 文件大小：12MB
  • 文件页数：374页
  • 主题词：认知逻辑－研究－英文

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：bb2df3124ebb00f5fc04c3c96a453e09

下载说明

动态认知逻辑专题研究 英文版PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用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

热门推荐