000 02759nam a2200313 a 4500
001 ebr10520695
003 CaPaEBR
006 m u
007 cr cn|||||||||
008 110719s2011 enk sb 001 0 eng d
010 _z 2011030309
020 _z9780521765794 (hardback)
020 _z9781139185448 (e-book)
040 _aCaPaEBR
_cCaPaEBR
035 _a(OCoLC)773615355
050 1 4 _aQA9
_b.B3988 2011eb
082 0 4 _a511.3
_223
100 1 _aBenthem, J. F. A. K. van,
_d1949-
245 1 0 _aLogical dynamics of information and interaction
_h[electronic resource] /
_cJohan van Benthem.
260 _aCambridge ;
_aNew York :
_bCambridge University Press,
_c2011.
300 _axi, 373 p.
504 _aIncludes bibliographical references and index.
505 8 _aMachine generated contents note: 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 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"--
_cProvided by publisher.
533 _aElectronic reproduction.
_bPalo Alto, Calif. :
_cebrary,
_d2012.
_nAvailable via World Wide Web.
_nAccess may be limited to ebrary affiliated libraries.
650 0 _aLogic, Symbolic and mathematical.
655 7 _aElectronic books.
_2local
710 2 _aebrary, Inc.
856 4 0 _uhttp://site.ebrary.com/lib/daystar/Doc?id=10520695
_zAn electronic book accessible through the World Wide Web; click to view
999 _c196653
_d196653