Logical dynamics of information and interaction:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York
Cambridge University Press
2014
|
| Ausgabe: | First paperback edition |
| Schlagworte: | |
| Beschreibung: | "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 and index |
| Beschreibung: | xi, 373 Seiten Diagramme |
| ISBN: | 9781107417175 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042535232 | ||
| 003 | DE-604 | ||
| 005 | 20190627 | ||
| 007 | t | ||
| 008 | 150430s2014 xxk|||| |||| 00||| eng d | ||
| 020 | |a 9781107417175 |c paperback |9 978-1-107-41717-5 | ||
| 035 | |a (OCoLC)909775887 | ||
| 035 | |a (DE-599)BVBBV042535232 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c XA-GB | ||
| 049 | |a DE-29 |a DE-521 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 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 Standford University |
| 250 | |a First paperback edition | ||
| 264 | 1 | |a Cambridge ; New York |b Cambridge University Press |c 2014 | |
| 300 | |a xi, 373 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |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"-- Provided by publisher. | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 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, Hardcover |z 978-0-521-76579-4 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027969382 | ||
Datensatz im Suchindex
| _version_ | 1804153296715251712 |
|---|---|
| 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 | BV042535232 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 ST 125 |
| ctrlnum | (OCoLC)909775887 (DE-599)BVBBV042535232 |
| 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 |
| edition | First paperback edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02453nam a2200457zc 4500</leader><controlfield tag="001">BV042535232</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190627 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150430s2014 xxk|||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107417175</subfield><subfield code="c">paperback</subfield><subfield code="9">978-1-107-41717-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)909775887</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042535232</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="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">XA-GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</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 Standford University</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First paperback edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; New York</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" 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"-- Provided by publisher.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</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, Hardcover</subfield><subfield code="z">978-0-521-76579-4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027969382</subfield></datafield></record></collection> |
| id | DE-604.BV042535232 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:24:21Z |
| institution | BVB |
| isbn | 9781107417175 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027969382 |
| oclc_num | 909775887 |
| open_access_boolean | |
| owner | DE-29 DE-521 |
| owner_facet | DE-29 DE-521 |
| physical | xi, 373 Seiten Diagramme |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| 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 Standford University First paperback edition Cambridge ; New York Cambridge University Press 2014 xi, 373 Seiten Diagramme txt rdacontent n rdamedia nc 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 and index Logic, Symbolic and mathematical MATHEMATICS / Logic bisacsh 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, Hardcover 978-0-521-76579-4 |
| spellingShingle | Benthem, Johan van 1949- Logical dynamics of information and interaction Logic, Symbolic and mathematical MATHEMATICS / Logic bisacsh 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 Standford University |
| title_fullStr | Logical dynamics of information and interaction Johan van Benthem, the University of Amsterdam and Standford University |
| title_full_unstemmed | Logical dynamics of information and interaction Johan van Benthem, the University of Amsterdam and Standford University |
| title_short | Logical dynamics of information and interaction |
| title_sort | logical dynamics of information and interaction |
| topic | Logic, Symbolic and mathematical MATHEMATICS / Logic bisacsh Mathematische Logik (DE-588)4037951-6 gnd Schlussfolgern (DE-588)4251178-1 gnd |
| topic_facet | Logic, Symbolic and mathematical MATHEMATICS / Logic Mathematische Logik Schlussfolgern |
| work_keys_str_mv | AT benthemjohanvan logicaldynamicsofinformationandinteraction |