考研網(wǎng) » 考試圖書 » 英語學(xué)術(shù)著作 » TOPLCS ON DYNAMIC EPISTEMIC LOGIC 動態(tài)認(rèn)知邏輯專題研究（英文.. » 全部考試圖書分類

圖書簡介

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

同類熱銷圖書

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