动态认知逻辑专题研究 英文版pdf电子书版本下载

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

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

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

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

Chapter 1 Foundations 1

1 Epistemic Logic 2

2 Dynamic Logic PDL 10

3 Dynamic Logic PDLω and One Generalization of It 24

4 Dynamic Epistemic Logic 46

Chapter 2 Do an Action 49

1 Logics for Having Done an Action（Ⅰ） 50

2 Logics for Having Done an Action（Ⅱ） 64

3 Logics for Intending to Do an Action 76

4 Logics for Being Doing an Action 92

Appendix 1 A Logic for Transferring a State by Resultant Force 101

Appendix 2 A Logic for Achieving an Intention by Doing an Action 105

Chapter 3 Know an Action 108

1 Self-substitution Systems 109

2 Some Versions of Self-substitution Systems 135

3 Minimal Systems and Bounded-valuation Method 142

4 Semi-infinitary Proof Systems 147

5 Fixed Point Systems 149

6 Systems Containing Dα or Dgα 154

Appendix What Is an Epistemic Action 158

Chapter 4 Cognize an Agent 163

1 Dynamic Epistemic Logics for Knowing an Agent 164

2 Epistemic Logics for Knowing an Agent 170

3 An Auto-epistemic Logic for Knowing an Agent 179

4 A Dynamic Doxastic Logic for Believing an Agent 182

Chapter 5 Cognize a Concept 186

1 Know a Modality Concept 187

2 Cognize a Cognitive Concept 191

3 Cognize a General Modal Concept 199

Chapter 6 Know an Individual and Know a Relation 203

1 Know an Individual 204

2 Know a Relation 212

Appendix A First-order Epistemic Logic 218

Chapter 7 Dynamic Negation 225

1 Characterization by Abbreviations 226

2 Characterization by Binary Relations 237

3 Characterization by Ternary Relation 243

Appendix An Action is Negated by Another Action 246

Chapter 8 Dynamic Conditional Logics 251

1 Conditional Logics for ？＞ψ 252

2 Conditional Logics for ？＞αψ 255

3 Conditional Logics for α＞β 267

Chapter 9 Update Semantics for Epistemic Systems 274

1 General Update Semantics 275

2 Degenerate Frame Semantics 282

3 Point Relation Frame Semantics 299

4 Set Relation Frame Semantics 321

5 Transformation Function Frame Semantics 327

6 Selection-class Function Frame Semantics 333

7 Neighborhood Function Frame Semantics 339

8 Dynamic Frame Semantics 344

Bibliography 363

后记 367