考研網 » 考試圖書 » 英語學術著作 » TOPLCS ON DYNAMIC EPISTEMIC LOGIC 動態認知邏輯專題研究（英文.. » 全部考試圖書分類

圖書簡介

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

同類熱銷圖書

書名	作者	出版社	價格	購買
如何巧妙設計英語課堂(劍橋英語課堂教學系列)——英語教師..	（英）伍德..	外語教學與研究出..	￥34.90 ￥28.50	詳情
演講的藝術(第十版/中國版)(配CD-ROM光盤)——全球演講圣..	（美）盧卡..	外語教學與研究出..	￥48.90 ￥40.00	詳情
新編簡明英語語言學教程學習指南 （戴煒棟、何兆熊版《新..	牟楊　主編	西南交大	￥14.00 ￥9.40	詳情
怎樣教英語(新版)(語言學文庫)——中國規模最大最具影響力..	（英）哈默..	外語教學與研究出..	￥27.90 ￥22.80	詳情
新編簡明英語語言學教程（第2版）學習指南 （配套戴煒棟、..	牟楊 著	西南交通大學出版..	￥21.00 ￥15.80	詳情
漢英對比語言學	陳德彰　編..	外語教學與研究出..	￥45.90 ￥36.20	詳情
如何設計課堂泛讀活動(劍橋英語課堂教學系列)——英語教師..	（英）班福..	外語教學與研究出..	￥29.00 ￥23.20	詳情
如何使用影像材料進行課堂教學(劍橋英語課堂教學系列)——..	（英）舍曼..	外語教學與研究出..	￥37.00 ￥29.60	詳情
如何開展個性化課堂教學(劍橋英語課堂教學系列)——英語教..	（英）格里..	外語教學與研究出..	￥22.90 ￥18.30	詳情
在語境中教語言(圣智英語教師叢書)	（美）赫德..	外語教學與研究出..	￥58.90 ￥48.10	詳情
英語語音學與音系學實用教程(語言學文庫-第3輯)——中國規..	（英）羅奇..	外語教學與研究出..	￥39.90 ￥31.90	詳情
美英報刊導讀（第二版）	周學藝　編..	北京大學出版社	￥56.00 ￥47.80	詳情
語料庫應用教程——全國高等學校外語教師教學實踐系列(附..	梁茂成，李..	外語教學與研究出..	￥43.90 ￥35.90	詳情
英語史	李賦寧 編..	商務印書館	￥29.00 ￥25.10	詳情
網絡外語教學理論與設計	張紅玲　等..	上海外語教育出版..	￥50.00 ￥39.90	詳情
哈姆雷特（莎士比亞作品解讀叢書·英文影印插圖版）	（英）湯普..	中國人民大學出版..	￥39.00 ￥29.30	詳情
西方語言學流派(新)——介紹西方語言學流派的最新力作	劉潤清 編..	外語教學與研究出..	￥29.90 ￥23.90	詳情
錢鐘書英文文集	錢鍾書 ?.	外語教學與研究出..	￥43.90 ￥35.10	詳情
英語教學設計	魯子問，康..	華東師范大學出版..	￥33.00 ￥26.40	詳情
高校與中學英語教師合作行動研究的實踐探索	王薔，張虹..	上海教育出版社	￥40.00 ￥32.00	詳情
英漢詞匯對比研究（復旦博學·語言學系列）	蔡基剛 著	復旦大學出版社	￥30.00 ￥23.80	詳情
基于語料庫的語言研究與教學應用	潘潘　著	中國社會科學出版..	￥47.00 ￥37.60	詳情
任務型語言教學	（澳）紐南..	外語教學與研究出..	￥34.00 ￥27.20	詳情
現代外語教學與研究（2012）	吳江梅　等..	中國人民大學出版..	￥45.00 ￥34.00	詳情
英語習語的文化內涵及其語用研究	張鎮華 等..	外語教學與研究出..	￥32.90 ￥24.70	詳情