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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext |
| Zusammenfassung: | "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"-- |
| Beschreibung: | 1 online resource (xi, 373 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 346-369) and index. |
| ISBN: | 9781139190343 1139190342 9780511974533 0511974531 1139185446 9781139185448 1107217466 9781107217461 1283378485 9781283378482 1139189034 9781139189033 9786613378484 6613378488 1139187759 9781139187756 1139183125 9781139183123 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn773615355 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 120123t20112011enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d CDX |d COO |d E7B |d UIU |d OCLCQ |d CAMBR |d OSU |d OCLCA |d OL$ |d OCLCA |d OCLCQ |d OCLCF |d OCLCQ |d UAB |d COCUF |d LOA |d VT2 |d OCLCQ |d WYU |d LVT |d AU@ |d OCLCQ |d A6Q |d VLY |d UKAHL |d OCLCA |d HS0 |d OCLCQ |d OCLCO |d QGK |d CUS |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB |d OCLCQ | ||
| 019 | |a 770876088 |a 849716837 |a 1055330266 |a 1066587734 |a 1081204409 |a 1162226329 |a 1167385487 |a 1227641538 |a 1228616385 |a 1241786979 |a 1259194382 | ||
| 020 | |a 9781139190343 |q (electronic bk.) | ||
| 020 | |a 1139190342 |q (electronic bk.) | ||
| 020 | |a 9780511974533 |q (electronic bk.) | ||
| 020 | |a 0511974531 |q (electronic bk.) | ||
| 020 | |a 1139185446 |q (electronic bk.) | ||
| 020 | |a 9781139185448 |q (electronic bk.) | ||
| 020 | |a 1107217466 | ||
| 020 | |a 9781107217461 | ||
| 020 | |a 1283378485 | ||
| 020 | |a 9781283378482 | ||
| 020 | |a 1139189034 | ||
| 020 | |a 9781139189033 | ||
| 020 | |a 9786613378484 | ||
| 020 | |a 6613378488 | ||
| 020 | |a 1139187759 | ||
| 020 | |a 9781139187756 | ||
| 020 | |a 1139183125 | ||
| 020 | |a 9781139183123 | ||
| 020 | |z 9780521765794 | ||
| 020 | |z 052176579X | ||
| 024 | 8 | |a 9786613378484 | |
| 035 | |a (OCoLC)773615355 |z (OCoLC)770876088 |z (OCoLC)849716837 |z (OCoLC)1055330266 |z (OCoLC)1066587734 |z (OCoLC)1081204409 |z (OCoLC)1162226329 |z (OCoLC)1167385487 |z (OCoLC)1227641538 |z (OCoLC)1228616385 |z (OCoLC)1241786979 |z (OCoLC)1259194382 | ||
| 050 | 4 | |a QA9 |b .B3988 2011eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 23 | |
| 084 | |a MAT018000 |2 bisacsh | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Benthem, Johan van, |d 1949- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC |0 http://id.loc.gov/authorities/names/n82138606 | |
| 245 | 1 | 0 | |a Logical dynamics of information and interaction / |c Johan van Benthem. |
| 264 | 1 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2011. | |
| 264 | 4 | |c ©2011 | |
| 300 | |a 1 online resource (xi, 373 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |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. | ||
| 588 | 0 | |a Print version record. | |
| 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. | |
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 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 Benthem, J.F.A.K. van, 1949- |t Logical dynamics of information and interaction. |d Cambridge ; New York : Cambridge University Press, 2011 |z 9780521765794 |w (DLC) 2011030309 |w (OCoLC)745428738 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=409031 |3 Volltext |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2747645 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH28320897 | ||
| 938 | |a Coutts Information Services |b COUT |n 20448567 | ||
| 938 | |a ebrary |b EBRY |n ebr10520695 | ||
| 938 | |a EBSCOhost |b EBSC |n 409031 | ||
| 938 | |a YBP Library Services |b YANK |n 7167174 | ||
| 938 | |a YBP Library Services |b YANK |n 7308089 | ||
| 938 | |a YBP Library Services |b YANK |n 7428397 | ||
| 938 | |a YBP Library Services |b YANK |n 7571849 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn773615355 |
|---|---|
| _version_ | 1816881783613947905 |
| adam_text | |
| any_adam_object | |
| author | Benthem, Johan van, 1949- |
| author_GND | http://id.loc.gov/authorities/names/n82138606 |
| 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 | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 .B3988 2011eb |
| callnumber-search | QA9 .B3988 2011eb |
| callnumber-sort | QA 19 B3988 42011EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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 | (OCoLC)773615355 |
| 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 | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05369cam a2200829 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn773615355</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">120123t20112011enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">CDX</subfield><subfield code="d">COO</subfield><subfield code="d">E7B</subfield><subfield code="d">UIU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CAMBR</subfield><subfield code="d">OSU</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UAB</subfield><subfield code="d">COCUF</subfield><subfield code="d">LOA</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">LVT</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">A6Q</subfield><subfield code="d">VLY</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCA</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">QGK</subfield><subfield code="d">CUS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">770876088</subfield><subfield code="a">849716837</subfield><subfield code="a">1055330266</subfield><subfield code="a">1066587734</subfield><subfield code="a">1081204409</subfield><subfield code="a">1162226329</subfield><subfield code="a">1167385487</subfield><subfield code="a">1227641538</subfield><subfield code="a">1228616385</subfield><subfield code="a">1241786979</subfield><subfield code="a">1259194382</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139190343</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139190342</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511974533</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511974531</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139185446</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139185448</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107217466</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107217461</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1283378485</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283378482</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139189034</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139189033</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786613378484</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6613378488</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139187759</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139187756</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1139183125</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139183123</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521765794</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">052176579X</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786613378484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)773615355</subfield><subfield code="z">(OCoLC)770876088</subfield><subfield code="z">(OCoLC)849716837</subfield><subfield code="z">(OCoLC)1055330266</subfield><subfield code="z">(OCoLC)1066587734</subfield><subfield code="z">(OCoLC)1081204409</subfield><subfield code="z">(OCoLC)1162226329</subfield><subfield code="z">(OCoLC)1167385487</subfield><subfield code="z">(OCoLC)1227641538</subfield><subfield code="z">(OCoLC)1228616385</subfield><subfield code="z">(OCoLC)1241786979</subfield><subfield code="z">(OCoLC)1259194382</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.B3988 2011eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van,</subfield><subfield code="d">1949-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC</subfield><subfield code="0">http://id.loc.gov/authorities/names/n82138606</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.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2011.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 373 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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"--</subfield><subfield code="c">Provided by publisher</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 346-369) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" 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="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logical dynamics of information and interaction (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFP3yYqKC7mHG3Rtf4QHFq</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Benthem, J.F.A.K. van, 1949-</subfield><subfield code="t">Logical dynamics of information and interaction.</subfield><subfield code="d">Cambridge ; New York : Cambridge University Press, 2011</subfield><subfield code="z">9780521765794</subfield><subfield code="w">(DLC) 2011030309</subfield><subfield code="w">(OCoLC)745428738</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=409031</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2747645</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH28320897</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">20448567</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10520695</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">409031</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7167174</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7308089</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7428397</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7571849</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn773615355 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:18:12Z |
| institution | BVB |
| isbn | 9781139190343 1139190342 9780511974533 0511974531 1139185446 9781139185448 1107217466 9781107217461 1283378485 9781283378482 1139189034 9781139189033 9786613378484 6613378488 1139187759 9781139187756 1139183125 9781139183123 |
| language | English |
| oclc_num | 773615355 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 373 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press, |
| record_format | marc |
| spelling | Benthem, Johan van, 1949- author. https://id.oclc.org/worldcat/entity/E39PBJk96xbFpMWmGQ4BmGJJjC http://id.loc.gov/authorities/names/n82138606 Logical dynamics of information and interaction / Johan van Benthem. Cambridge ; New York : Cambridge University Press, 2011. ©2011 1 online resource (xi, 373 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier "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"-- Provided by publisher Includes bibliographical references (pages 346-369) and index. Print version record. 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. English. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Logic. bisacsh MATHEMATICS Infinity. bisacsh Logic, Symbolic and mathematical fast has work: Logical dynamics of information and interaction (Text) https://id.oclc.org/worldcat/entity/E39PCFP3yYqKC7mHG3Rtf4QHFq https://id.oclc.org/worldcat/ontology/hasWork Print version: Benthem, J.F.A.K. van, 1949- Logical dynamics of information and interaction. Cambridge ; New York : Cambridge University Press, 2011 9780521765794 (DLC) 2011030309 (OCoLC)745428738 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=409031 Volltext FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2747645 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. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Logic. bisacsh MATHEMATICS Infinity. bisacsh Logic, Symbolic and mathematical fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078115 |
| 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. |
| title_fullStr | Logical dynamics of information and interaction / Johan van Benthem. |
| title_full_unstemmed | Logical dynamics of information and interaction / Johan van Benthem. |
| title_short | Logical dynamics of information and interaction / |
| title_sort | logical dynamics of information and interaction |
| topic | Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Logic. bisacsh MATHEMATICS Infinity. bisacsh Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS Logic. MATHEMATICS Infinity. Logic, Symbolic and mathematical |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=409031 https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2747645 |
| work_keys_str_mv | AT benthemjohanvan logicaldynamicsofinformationandinteraction |