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 |
詳情 |
