000 03694nam a22004815i 4500
001 978-94-007-7046-1
003 DE-He213
005 20140220082529.0
007 cr nn 008mamaa
008 131022s2014 ne | s |||| 0|eng d
020 _a9789400770461
_9978-94-007-7046-1
024 7 _a10.1007/978-94-007-7046-1
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
082 0 4 _a160
_223
100 1 _aTrypuz, Robert.
_eeditor.
245 1 0 _aKrister Segerberg on Logic of Actions
_h[electronic resource] /
_cedited by Robert Trypuz.
264 1 _aDordrecht :
_bSpringer Netherlands :
_bImprint: Springer,
_c2014.
300 _aXXIX, 335 p. 40 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aOutstanding Contributions to Logic,
_x2211-2758 ;
_v1
505 0 _aIntroduction; Robert Trypuz -- PART I -- 1. "Krister Segerberg’s Philosophy of Action"; Richmond Thomason -- 2. "The concept of a routine in Segerberg’s philosophy of action"; Dag Elgesem -- 3. "On the Reconciliation of Logics of Agency and Logics of Event Types"; Jan Broersen -- 4. "Three traditions in the logic of action: bringing them together"; Andreas Herzig, Tiago de Lima, Emiliano Lorini, and Nicolas Troquard -- 5. "Deontic Logics based on Boolean Algebra"; Pablo Castro and Piotr Kulicki -- 6. "Dynamic Deontic Logic, Segerberg-Style"; John-Jules Meyer -- PART II -- 7. "Contraction, Revision, Expansion - Representing Belief Change Operations"; Sven Ove Hansson -- 8. "Segerberg on the Paradoxes of Introspective Belief Change"; Erik J Olsson and Sebastian Enqvist -- 9. "Equivalent Beliefs in Dynamic Doxastic Logic"; Robert Goldblatt -- 10. "On revocable and irrevocable belief revision"; Hans van Ditmarsch -- 11. "Actions, belief update, and DDL"; Jérôme Lang -- 12. "DDL as an “Internalization” of Dynamic Belief Revision"; Alexandru Baltag, Virginie Fiutek, and Sonja Smets.- 13. "Two logical faces of belief revision"; Johan van Benthem.
520 _aThis 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 has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.
650 0 _aPhilosophy (General).
650 0 _aLogic.
650 0 _aPhilosophy of mind.
650 0 _aLogic design.
650 1 4 _aPhilosophy.
650 2 4 _aLogic.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aPhilosophy of Mind.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9789400770454
830 0 _aOutstanding Contributions to Logic,
_x2211-2758 ;
_v1
856 4 0 _uhttp://dx.doi.org/10.1007/978-94-007-7046-1
912 _aZDB-2-SHU
999 _c93925
_d93925