02837nam 2200661 a 450 991014642020332120251116155027.09789048501120904850112110.5117/9789053563564(CKB)1000000000486822(EBL)419848(OCoLC)232160025(SSID)ssj0000180767(PQKBManifestationID)11170596(PQKBTitleCode)TC0000180767(PQKBWorkID)10157702(PQKB)11624372(MiAaPQ)EBC419848(Au-PeEL)EBL419848(CaPaEBR)ebr10302522(ScCtBLL)33117ab9-98ef-43ca-b790-46d898fd874a(OCoLC)1163817813(EXLCZ)99100000000048682220091015d2007 uy 0dutur|n|---|||||txtccrInteractive logic selected papers from the 7th Augustus de Morgan Workshop, London /edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe1st ed.Amsterdam Amsterdam University Pressc20071 online resource (363 p.)Texts in logic and games ;v. 1The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.9789053563564 9053563563 Includes bibliographical references.Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team LogicDEMO - A Demo of Epistemic ModellingA collection of excellent research papers in logic, mathematics, computer science and game theoryTexts in logic and games ;v. 1.Game theoryCongressesLogic, Symbolic and mathematicalCongressesGame theoryLogic, Symbolic and mathematical519.3Benthem Johan van1949-51846Lowe Benedikt915589Gabbay Dov M.1945-56838MiAaPQMiAaPQMiAaPQBOOK9910146420203321Interactive logic2052509UNINA