MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02464nam a22004457a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
IIITD |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20241008165231.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
241008b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781107417175 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
IIITD |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 |
| Item number |
BEN-L |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Benthem, Johan van |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Logical dynamics of information and interaction |
| Statement of responsibility, etc |
by Johan van Benthem |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New York : |
| Name of publisher, distributor, etc |
Cambridge University Press, |
| Date of publication, distribution, etc |
©2011 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
373 p. ; |
| Dimensions |
24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
1. Logical dynamics, agency, and intelligent interaction |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
2. Epistemic logic and semantic information |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
3. Dynamic logic of public observation |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
4. Multi-agent dynamic-epistemic logic |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
5. Dynamics of inference and awareness |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
6. Questions and issue management |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
7. Soft information, correction, and belief change |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
8. An encounter with probability |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
9. Preference statics and dynamics |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
10. Decisions, actions, and games |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
11. Processes over time |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
12. Epistemic group structure and collective agency |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
13. Logical dynamics in philosophy |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
14. Computation as conversation |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
15. Rational dynamics in game theory |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
16. Meeting cognitive realities |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
17. Conclusion; Bibliography |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intuitionistisk logik. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
MATHEMATICS / Logic. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Symbolisk logik. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Books |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
