Chapter 1 Foundations
1 Epistemic Logic
2 Dynamic Logic PDL
3 Dynamic Logic PDL~0 and One Generalization of It
4 Dynamic Epistemic Logic
Chapter 2 Do an Action
1 Logics for Having Done an Action ( 1 )
2 Logics for Having Done an Action ( 2 )
3 Logics for Intending to Do an Action
4 Logics for Being Doing an Action
Appendix 1 A Logic for Transferring a State by Resultant Force
Appendix 2 A Logic for Achieving an Intention by Doing an Action..
Chapter 3 Know an Action
　1 Self-substitution Systems .
　2 Some Versions of Self-substitution Systems
　3 Minimal Systems and Bounded-valuation Method
　4 Semi-infinitary Proof Systems
　5 Fixed Point Systems
　6 Systems Containing Dot or Dga
　Appendix What Is an Epistemic Action
Chapter 4 Cognize an Agent
　1 Dynamic Epistemic Logics for Knowing an Agent
　2 Epistemic Logics for Knowing an Agent
　3 An Auto-epistemic Logic for Knowing an Agent
　4 A Dynamic Doxastic Logic for Believing an Agent
Chapter 5 Cognize a Concept
　1 Know a Modality Concept
　2 Cognize a Cognitive Concept
　3 Cognize a General Modal Concept
Chapter 6 Know an Individual and Know a Relation
　1 Know an Individual
　2 Know a Relation
　Appendix A First-order Epistemic Logic
Chapter 7 Dynamic Negation
　1 Characterization by Abbreviations
　2 Characterization by Binary Relations
　3 Characterization by Ternary Relation
　Appendix A Action is Negated by Another Action
Chapter 8 Dynamic Conditional Logies
　1 Conditional Logics for
　2 Conditional Logics for
　3 Conditional Logics for
Chapter 9 Update Semantics for Epistemic Systems
　1 General Update Semantics
　2 Degenerate Frame Semantics
　3 Point Relation Frame Semantics
　4 Set Relation Frame Semantics
　5 Transformation Function Frame Semantics
　6 Selection-class Function Frame Semantics
　7 Neighborhood Function Frame Semantics
　8 Dynamic Frame Semantics
　Bibliography
后記