考研网 » 考试图书 » 英语学术著作 » 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	详情