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: | KUBA1 |
| 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: | xi, 373 p |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045252692 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181026s2011 |||| o||u| ||||||eng d | ||
| 035 | |a (ZDB-30-PAD)EBC807277 | ||
| 035 | |a (ZDB-89-EBL)EBL807277 | ||
| 035 | |a (ZDB-38-EBR)ebr10520695 | ||
| 035 | |a (OCoLC)745428738 | ||
| 035 | |a (DE-599)BVBBV045252692 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Y3 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 100 | 1 | |a Benthem, J. F. A. K. van |d 1949- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical dynamics of information and interaction |c Johan van Benthem |
| 264 | 1 | |a Cambridge ; New York |b Cambridge University Press |c 2011 | |
| 300 | |a xi, 373 p | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |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"-- | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |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 | |8 1\p |5 DE-604 | |
| 710 | 2 | |a ProQuest (Firm) |e Sonstige |4 oth | |
| 912 | |a ZDB-30-PAD | ||
| 940 | 1 | |q KUBA1-ZDB-30-PAD-2023 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030640668 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://ebookcentral.proquest.com/lib/khifiit/detail.action?docID=807277 |l KUBA1 |p ZDB-30-PAD |q KHI |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178998039674880 |
|---|---|
| any_adam_object | |
| author | Benthem, J. F. A. K. van 1949- |
| author_facet | Benthem, J. F. A. K. van 1949- |
| author_role | aut |
| author_sort | Benthem, J. F. A. K. van 1949- |
| author_variant | j f a k v b jfakv jfakvb |
| building | Verbundindex |
| bvnumber | BV045252692 |
| collection | ZDB-30-PAD |
| ctrlnum | (ZDB-30-PAD)EBC807277 (ZDB-89-EBL)EBL807277 (ZDB-38-EBR)ebr10520695 (OCoLC)745428738 (DE-599)BVBBV045252692 |
| 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>02360nmm a2200433zc 4500</leader><controlfield tag="001">BV045252692</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181026s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PAD)EBC807277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL807277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr10520695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745428738</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045252692</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-Y3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benthem, J. F. A. K. van</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</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</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 p</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="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></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">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">KUBA1-ZDB-30-PAD-2023</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030640668</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/khifiit/detail.action?docID=807277</subfield><subfield code="l">KUBA1</subfield><subfield code="p">ZDB-30-PAD</subfield><subfield code="q">KHI</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045252692 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:12:52Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030640668 |
| oclc_num | 745428738 |
| open_access_boolean | |
| owner | DE-Y3 |
| owner_facet | DE-Y3 |
| physical | xi, 373 p |
| psigel | ZDB-30-PAD KUBA1-ZDB-30-PAD-2023 ZDB-30-PAD KHI |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Benthem, J. F. A. K. van 1949- Verfasser aut Logical dynamics of information and interaction Johan van Benthem Cambridge ; New York Cambridge University Press 2011 xi, 373 p txt rdacontent c rdamedia 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"-- Logic, Symbolic and mathematical Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 ProQuest (Firm) Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Benthem, J. F. A. K. van 1949- Logical dynamics of information and interaction Logic, Symbolic and mathematical Schlussfolgern (DE-588)4251178-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4251178-1 (DE-588)4037951-6 |
| 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 Schlussfolgern (DE-588)4251178-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Schlussfolgern Mathematische Logik |
| work_keys_str_mv | AT benthemjfakvan logicaldynamicsofinformationandinteraction AT proquestfirm logicaldynamicsofinformationandinteraction |