Krister Segerberg on Logic of Actions (Record no. 93925)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03694nam a22004815i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-94-007-7046-1 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140220082529.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 131022s2014 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9789400770461 |
| -- | 978-94-007-7046-1 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-94-007-7046-1 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC1-199 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | HPL |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PHI011000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 160 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Trypuz, Robert. |
| Relator term | editor. |
| 245 10 - TITLE STATEMENT | |
| Title | Krister Segerberg on Logic of Actions |
| Medium | [electronic resource] / |
| Statement of responsibility, etc | edited by Robert Trypuz. |
| 264 #1 - | |
| -- | Dordrecht : |
| -- | Springer Netherlands : |
| -- | Imprint: Springer, |
| -- | 2014. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XXIX, 335 p. 40 illus. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Outstanding Contributions to Logic, |
| International Standard Serial Number | 2211-2758 ; |
| Volume number/sequential designation | 1 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Introduction; 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 ## - SUMMARY, ETC. | |
| Summary, etc | 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 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy (General). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy of mind. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic design. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy of Mind. |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9789400770454 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Outstanding Contributions to Logic, |
| -- | 2211-2758 ; |
| Volume number/sequential designation | 1 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-94-007-7046-1 |
| 912 ## - | |
| -- | ZDB-2-SHU |
No items available.