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

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