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