TOPLCS ON DYNAMIC EPISTEMIC LOGIC 动态认知逻辑专题研究（英文版）pdf/txt下载_在线阅读全文

TOPLCS ON DYNAMIC EPISTEMIC LOGIC 动态认知逻辑专题研究（英文版）

当前位置:首页 > 哲学/宗教 > 哲学 > TOPLCS ON DYNAMIC EPISTEMIC LOGIC 动态认知逻辑专题研究（英文版）

版次：1
页数：
字数：496000
印刷时间：2010年03月01日
开本：12k
纸张：胶版纸
包装：平装
是否套装：否
国际标准书号ISBN：9787306036032

作者:李小五出版社:中山大学出版社出版时间:2010年06月

内容简介

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.

目　　录

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

显示全部信息

TOPLCS ON DYNAMIC EPISTEMIC LOGIC 动态认知逻辑专题研究（英文版）下载

TOPLCS ON DYNAMIC EPISTEMIC LOGIC 动态认知逻辑专题研究（英文版）

发布书评

相关图书推荐