000			02464nam a22004457a 4500
003			IIITD
005			20241008165231.0
008			241008b |||||||| |||| 00| 0 eng d
020			_a9781107417175
040			_aIIITD
082			_a511.3 _bBEN-L
100			_aBenthem, Johan van
245			_aLogical dynamics of information and interaction _cby Johan van Benthem
260			_aNew York : _bCambridge University Press, _c©2011
300			_a373 p. ; _c24 cm.
504			_aIncludes bibliographical references and index.
505			_t1. Logical dynamics, agency, and intelligent interaction
505			_t2. Epistemic logic and semantic information
505			_t3. Dynamic logic of public observation
505			_t4. Multi-agent dynamic-epistemic logic
505			_t5. Dynamics of inference and awareness
505			_t6. Questions and issue management
505			_t7. Soft information, correction, and belief change
505			_t8. An encounter with probability
505			_t9. Preference statics and dynamics
505			_t10. Decisions, actions, and games
505			_t11. Processes over time
505			_t12. Epistemic group structure and collective agency
505			_t13. Logical dynamics in philosophy
505			_t14. Computation as conversation
505			_t15. Rational dynamics in game theory
505			_t16. Meeting cognitive realities
505			_t17. Conclusion; Bibliography
520			_aThis book develops a 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			_aIntuitionistisk logik.
650			_aLogic, Symbolic and mathematical.
650			_aMATHEMATICS / Logic.
650			_aSymbolisk logik.
942			_cBK _2ddc
999			_c189674 _d189674