动态认知逻辑专题研究（英文版）

　　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
　　后记

　　    Dynamic Epistemic Logic is the logic of knowledge， actions and the interrelation of them.This is not about one logic, but about a whole family of logics that allows us to specify staticand dynamic aspects of rational agent systems. The book provides various logics to supportsuch formal specifications.