Record:   Prev Next
書名 Krister Segerberg on logic of actions / Robert Trypuz, editor
出版項 Dordrecht : Springer, [2014]
國際標準書號 9789400770454 (hbk.)
9400770456 (hbk.)
9789400770461 (ebook)
9400770464 (ebook)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 人文社會聯圖  QA76.5913 .K75 2014    在架上    30660020206996
說明 xxix, 335 pages : illustrations ; 24 cm
text txt rdacontent
unmediated n rdamedia
volume nc rdacarrier
系列 Outstanding Contributions to Logic, 2211-2758 ; volume 1
Outstanding contributions to logic ; 1
附註 Includes bibliographical references
This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories
主題 Segerberg, Krister, 1936-
Segerberg, Krister, 1936- fast (OCoLC)fst01960489
Computer logic
Logic
Computer logic. fast (OCoLC)fst00872265
Logic. fast (OCoLC)fst01002014
Alt Author Trypuz, Robert, editor
Record:   Prev Next