Logical dynamics of information and interaction:
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 communicat...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York ; Melbourne ; Madrid ; Cape Town ; Singapore ; São Paulo ; Delhi ; Tokyo ; Mexiko City
Cambridge University Press
2011
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 FUBA1 UBG01 Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | 1 Online-Ressource (xi, 373 Seiten) Diagramme |
| ISBN: | 9780511974533 |
| DOI: | 10.1017/CBO9780511974533 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043927342 | ||
| 003 | DE-604 | ||
| 005 | 20210406 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161202s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511974533 |c Online |9 978-0-511-97453-3 | ||
| 024 | 7 | |a 10.1017/CBO9780511974533 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511974533 | ||
| 035 | |a (OCoLC)850955106 | ||
| 035 | |a (DE-599)BVBBV043927342 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 |a DE-92 |a DE-188 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 100 | 1 | |a Benthem, Johan van |d 1949- |e Verfasser |0 (DE-588)124543286 |4 aut | |
| 245 | 1 | 0 | |a Logical dynamics of information and interaction |c Johan van Benthem, The University of Amsterdam and Stanford University |
| 264 | 1 | |a Cambridge ; New York ; Melbourne ; Madrid ; Cape Town ; Singapore ; São Paulo ; Delhi ; Tokyo ; Mexiko City |b Cambridge University Press |c 2011 | |
| 300 | |a 1 Online-Ressource (xi, 373 Seiten) |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 505 | 8 | |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 | |
| 520 | |a 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 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-107-41717-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-0-521-76579-4 |w (DE-604)BV039806033 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511974533 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029336421 | ||
| 966 | e | |u https://doi.org/10.1017/CBO9780511974533 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511974533 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511974533 |l FUBA1 |p ZDB-20-CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511974533 |l UBG01 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176855988699136 |
|---|---|
| any_adam_object | |
| author | Benthem, Johan van 1949- |
| author_GND | (DE-588)124543286 |
| author_facet | Benthem, Johan van 1949- |
| author_role | aut |
| author_sort | Benthem, Johan van 1949- |
| author_variant | j v b jv jvb |
| building | Verbundindex |
| bvnumber | BV043927342 |
| classification_rvk | CC 2600 ST 125 |
| collection | ZDB-20-CBO |
| contents | 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 |
| ctrlnum | (ZDB-20-CBO)CR9780511974533 (OCoLC)850955106 (DE-599)BVBBV043927342 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Philosophie |
| doi_str_mv | 10.1017/CBO9780511974533 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03754nmm a2200505 c 4500</leader><controlfield tag="001">BV043927342</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210406 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161202s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511974533</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-97453-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511974533</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511974533</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)850955106</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043927342</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical dynamics of information and interaction</subfield><subfield code="c">Johan van Benthem, The University of Amsterdam and Stanford University</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; New York ; Melbourne ; Madrid ; Cape Town ; Singapore ; São Paulo ; Delhi ; Tokyo ; Mexiko City</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 373 Seiten)</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-107-41717-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-0-521-76579-4</subfield><subfield code="w">(DE-604)BV039806033</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511974533</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029336421</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974533</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974533</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974533</subfield><subfield code="l">FUBA1</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974533</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043927342 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:38:49Z |
| institution | BVB |
| isbn | 9780511974533 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029336421 |
| oclc_num | 850955106 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG DE-92 DE-188 |
| owner_facet | DE-12 DE-473 DE-BY-UBG DE-92 DE-188 |
| physical | 1 Online-Ressource (xi, 373 Seiten) Diagramme |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UBG_PDA_CBO |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Benthem, Johan van 1949- Verfasser (DE-588)124543286 aut Logical dynamics of information and interaction Johan van Benthem, The University of Amsterdam and Stanford University Cambridge ; New York ; Melbourne ; Madrid ; Cape Town ; Singapore ; São Paulo ; Delhi ; Tokyo ; Mexiko City Cambridge University Press 2011 1 Online-Ressource (xi, 373 Seiten) Diagramme txt rdacontent c rdamedia cr rdacarrier 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 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 Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 s Mathematische Logik (DE-588)4037951-6 s DE-604 Erscheint auch als Druck-Ausgabe 978-1-107-41717-5 Erscheint auch als Druck-Ausgabe, Hardcover 978-0-521-76579-4 (DE-604)BV039806033 https://doi.org/10.1017/CBO9780511974533 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Benthem, Johan van 1949- Logical dynamics of information and interaction 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 Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Schlussfolgern (DE-588)4251178-1 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4251178-1 |
| title | Logical dynamics of information and interaction |
| title_auth | Logical dynamics of information and interaction |
| title_exact_search | Logical dynamics of information and interaction |
| title_full | Logical dynamics of information and interaction Johan van Benthem, The University of Amsterdam and Stanford University |
| title_fullStr | Logical dynamics of information and interaction Johan van Benthem, The University of Amsterdam and Stanford University |
| title_full_unstemmed | Logical dynamics of information and interaction Johan van Benthem, The University of Amsterdam and Stanford University |
| title_short | Logical dynamics of information and interaction |
| title_sort | logical dynamics of information and interaction |
| topic | Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Schlussfolgern (DE-588)4251178-1 gnd |
| topic_facet | Logic, Symbolic and mathematical Mathematische Logik Schlussfolgern |
| url | https://doi.org/10.1017/CBO9780511974533 |
| work_keys_str_mv | AT benthemjohanvan logicaldynamicsofinformationandinteraction |