LEADER 03540nam  22006732  450 
001 9910956065903321
005 20151005020621.0
010   $a1-107-21746-6
010   $a1-283-37848-5
010   $a1-139-18903-4
010   $a9786613378484
010   $a1-139-18775-9
010   $a1-139-19034-2
010   $a1-139-18312-5
010   $a1-139-18544-6
010   $a0-511-97453-1
035   $a(CKB)2550000000061433
035   $a(EBL)807277
035   $a(OCoLC)782876977
035   $a(SSID)ssj0000570948
035   $a(PQKBManifestationID)11353989
035   $a(PQKBTitleCode)TC0000570948
035   $a(PQKBWorkID)10611271
035   $a(PQKB)11363016
035   $a(UkCbUP)CR9780511974533
035   $a(MiAaPQ)EBC807277
035   $a(Au-PeEL)EBL807277
035   $a(CaPaEBR)ebr10520695
035   $a(CaONFJC)MIL337848
035   $a(PPN)261363700
035   $a(EXLCZ)992550000000061433
100   $a20101011d2011||||  uy|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogical dynamics of information and interaction /$fJohan van Benthem
205   $a1st ed.
210  1$aCambridge :$cCambridge University Press,$d2011.
215   $a1 online resource (xi, 373 pages) $cdigital, PDF file(s)
300   $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
311 08$a1-107-41717-1 
311 08$a0-521-76579-X 
320   $aIncludes bibliographical references and index.
327   $aPreface; 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.
330   $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.
517 3 $aLogical Dynamics of Information & Interaction
606   $aLogic, Symbolic and mathematical
615  0$aLogic, Symbolic and mathematical.
676   $a511.3
686   $aMAT018000$2bisacsh
700   $aBenthem$b Johan van$f1949-$051846
801  0$bUkCbUP
801  1$bUkCbUP
906   $aBOOK
912   $a9910956065903321
996   $aLogical dynamics of information and interaction$94426459
997   $aUNINA