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
    詳情
    国产一区二区中文字幕| 国产无码一区二区在线| 中文字幕亚洲男人的天堂网络| 亚洲av永久无码精品网站| a亚洲欧美中文日韩在线v日本| 国产精品99无码一区二区| 亚洲中文字幕无码永久在线| 中文字幕高清有码在线中字| 亚洲AV无码成人精品区大在线| 免费无码中文字幕A级毛片| 亚洲中文字幕久久精品无码APP| 中文字幕亚洲综合久久2| 亚洲欧美中文字幕高清在线| MM1313亚洲精品无码| 无码欧精品亚洲日韩一区| 国产AV无码专区亚洲AWWW| 日韩乱码人妻无码中文字幕视频| 日本三级在线中文字幕在线|中文| 中文字幕乱码免费视频| 日韩成人无码影院| 国产精品热久久无码av| 精品人妻大屁股白浆无码| 人妻无码一区二区三区AV| 无码国产精品一区二区免费模式 | 人妻无码精品久久亚瑟影视| 国产午夜精品无码| 国产精品无码久久综合| 精品人无码一区二区三区| 久久精品无码专区免费青青| 久久久无码一区二区三区| 国产精品99精品无码视亚| 国产亚洲精品无码成人| 精品无人区无码乱码毛片国产 | 免费无码国产V片在线观看| AV无码精品一区二区三区| 国产精品无码无需播放器| 国产成人无码精品久久久免费| 国产精品毛片无码| 中文人妻av高清一区二区| 久久最近最新中文字幕大全| 欧美日韩中文字幕久久久不卡| 頁面加載時間:0.044589秒