Cargando…
Logical dynamics of information and interaction /
"This book develops a new 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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn745428738 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 110719s2011 enka b 001 0 eng | ||
| 010 | |a 2011030309 | ||
| 040 | |a DLC |b eng |c DLC |d UKMGB |d BTCTA |d YDXCP |d CDX |d BWX |d DEBBG |d OCLCF |d CUS |d Z5F |d S3O |d OCLCO |d OCLCQ |d OCLCO |d RCE |d GZM |d OCLCO |d EBLCP |d IDEBK |d AUD |d DEBSZ |d STF |d CUY |d MERUC |d ZCU |d ICG |d K6U |d U3W |d TKN |d DKC |d AU@ |d OCLCQ |d IL4J6 |d OCLCO |d OCLCA |d TUHNV |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 015 | |a GBB0C7848 |2 bnb | ||
| 016 | 7 | |a 015678702 |2 Uk | |
| 019 | |a 772400289 |a 782876977 | ||
| 020 | |a 9780521765794 |q (hardback) | ||
| 020 | |a 052176579X |q (hardback) | ||
| 020 | |a 9781107417175 | ||
| 020 | |a 1107417171 | ||
| 020 | |a 9781139187756 | ||
| 020 | |a 1139187759 | ||
| 020 | |a 9781139185448 |q (e-book) | ||
| 020 | |a 1139185446 |q (e-book) | ||
| 029 | 1 | |a AU@ |b 000047505470 | |
| 029 | 1 | |a DEBBG |b BV039806033 | |
| 029 | 1 | |a NZ1 |b 14324660 | |
| 029 | 1 | |a UKMGB |b 015678702 | |
| 029 | 1 | |a DEBSZ |b 379324873 | |
| 029 | 1 | |a NZ1 |b 15727756 | |
| 029 | 1 | |a AU@ |b 000068202822 | |
| 035 | |a (OCoLC)745428738 |z (OCoLC)772400289 |z (OCoLC)782876977 | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA9 |b .B3988 2011 |
| 072 | 7 | |a HPL |2 bicssc | |
| 082 | 0 | 0 | |a 511.3 |2 23 |
| 084 | |a MAT018000 |2 bisacsh | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a CC 2600 |2 rvk | ||
| 084 | |a ST 125 |2 rvk | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Benthem, Johan van, |d 1949- |1 https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC | |
| 245 | 1 | 0 | |a Logical dynamics of information and interaction / |c Johan van Benthem. |
| 260 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2011. | ||
| 300 | |a xi, 373 pages : |b illustrations ; |c 26 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 520 | |a "This book develops a new 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"-- |c Provided by publisher. | ||
| 504 | |a Includes bibliographical references (pages 346-369) and index. | ||
| 505 | 0 | |a Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematische Logik |2 gnd | |
| 650 | 7 | |a Schlussfolgern |2 gnd | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 nli | |
| 650 | 7 | |a Symbolisk logik. |2 sao | |
| 650 | 7 | |a Intuitionistisk logik. |2 sao | |
| 758 | |i has work: |a Logical dynamics of information and interaction (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFP3yYqKC7mHG3Rtf4QHFq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Van Benthem, Johan. |t Logical Dynamics of Information and Interaction. |d Cambridge : Cambridge University Press, ©2011 |z 9780521765794 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=807277 |z Texto completo |
| 938 | |a Baker and Taylor |b BTCP |n BK0010160448 | ||
| 938 | |a Coutts Information Services |b COUT |n 13607148 | ||
| 938 | |a YBP Library Services |b YANK |n 3730556 | ||
| 938 | |a Blackwell Book Service |b BBUS |n 3730556 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL807277 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 337848 | ||
| 994 | |a 92 |b IZTAP | ||