- 作 者：李小五编著
- 出 版 社：广州：中山大学出版社
- 出版年份：2010
- ISBN：9787306036032
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
12
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
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