Logical dynamics of information and interaction:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge ; New York
Cambridge University Press
2011
|
| Schlagwörter: | |
| Links: | http://assets.cambridge.org/97805217/65794/cover/9780521765794.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666402&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke "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. |
| Umfang: | XI, 373 Seiten graph. Darst. |
| ISBN: | 9780521765794 9781107417175 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039806033 | ||
| 003 | DE-604 | ||
| 005 | 20151126 | ||
| 007 | t| | ||
| 008 | 120116s2011 xxkd||| |||| 00||| eng d | ||
| 010 | |a 2011030309 | ||
| 020 | |a 9780521765794 |c hardback |9 978-0-521-76579-4 | ||
| 020 | |a 9781107417175 |c paperback |9 978-1-107-41717-5 | ||
| 035 | |a (OCoLC)745428738 | ||
| 035 | |a (DE-599)BVBBV039806033 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-29 |a DE-11 |a DE-19 |a DE-355 |a DE-473 | ||
| 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 Amterdam and Stanford University |
| 264 | 1 | |a Cambridge ; New York |b Cambridge University Press |c 2011 | |
| 300 | |a XI, 373 Seiten |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 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. | ||
| 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 | |
| 856 | 4 | |u http://assets.cambridge.org/97805217/65794/cover/9780521765794.jpg |3 Cover image | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666402&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024666402 | |
Datensatz im Suchindex
| _version_ | 1819249479214170112 |
|---|---|
| adam_text | Titel: Logical dynamics of information and interaction
Autor: Benthem, Johan F. A. K. van
Jahr: 2011
Contents
Preface page ix
Acknowledgments xi
1 Logical dynamics, agency, and intelligent interaction 1
2 Epistemic logic and semantic information 21
3 Dynamic logic of public observation 45
4 Multi-agent dynamic-epistemic logic 76
5 Dynamics of inference and awareness 100
6 Questions and issue management 114
7 Soft information, correction, and belief change 130
8 An encounter with probability 156
9 Preference statics and dynamics 174
10 Decisions, actions, and games 195
11 Processes over time 228
12 Epistemic group structure and collective agency 253
13 Logical dynamics in philosophy 268
14 Computation as conversation 303
vu
|
| any_adam_object | 1 |
| 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 | BV039806033 |
| 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)745428738 (DE-599)BVBBV039806033 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02792nam a2200481zc 4500</leader><controlfield tag="001">BV039806033</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151126 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120116s2011 xxkd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011030309</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521765794</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-521-76579-4</subfield></datafield><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)745428738</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039806033</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">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-473</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 Amterdam and Stanford University</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">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 373 Seiten</subfield><subfield code="b">graph. Darst.</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">Hier auch später erschienene, unveränderte Nachdrucke</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="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="856" ind1="4" ind2=" "><subfield code="u">http://assets.cambridge.org/97805217/65794/cover/9780521765794.jpg</subfield><subfield code="3">Cover image</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666402&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024666402</subfield></datafield></record></collection> |
| id | DE-604.BV039806033 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:02:59Z |
| institution | BVB |
| isbn | 9780521765794 9781107417175 |
| language | English |
| lccn | 2011030309 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024666402 |
| oclc_num | 745428738 |
| open_access_boolean | |
| owner | DE-29 DE-11 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| owner_facet | DE-29 DE-11 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-473 DE-BY-UBG |
| physical | XI, 373 Seiten graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| 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 Amterdam and Stanford University |
| title_fullStr | Logical dynamics of information and interaction Johan van Benthem, the University of Amterdam and Stanford University |
| title_full_unstemmed | Logical dynamics of information and interaction Johan van Benthem, the University of Amterdam and Stanford 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 |
| url | http://assets.cambridge.org/97805217/65794/cover/9780521765794.jpg http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024666402&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT benthemjohanvan logicaldynamicsofinformationandinteraction |