国产日韩精品一区二区三区在线,亚洲欧美国产精品一区二区,欧美H片在线网站,久久古裝妓院三級片′黃色

  • <blockquote id="enzbz"><th id="enzbz"></th></blockquote>

    1. TOPLCS ON DYNAMIC EPISTEMIC LOGIC 動態(tài)認(rèn)知邏輯專題研究(英文版)

      • 所屬分類:
        英語學(xué)術(shù)著..
      • 作者:
        李小五 著
      • 出版社:
        中山大學(xué)出版社
      • ISBN:9787306036032
      • 出版日期:2010-3-1
      • 原價:
        ¥46.00元
        現(xiàn)價:¥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
      后記

      同類熱銷圖書

      書名 作者 出版社 價格 購買
      如何巧妙設(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
      詳情