TOPLCS ON DYNAMIC EPISTEMIC LOGIC 动态认知逻辑专题研究（英文版）
- 所属分类：
英语学术著..
- 作者：
李小五 著
- 出版社：
中山大学出版社
- ISBN：9787306036032
- 出版日期：2010-3-1
-
原价：
￥46.00元
现价：￥34.50元
图书简介
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 |
详情 |
