Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe

• Pubblicazione: Amsterdam, : Amsterdam University Press, c2007
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (363 p.)
• Disciplina: 519.3
• Soggetto topico: Game theory; Logic, Symbolic and mathematical
• Altri autori: BenthemJohan van <1949-> LoweBenedikt GabbayDov M. <1945->
• Note generali: The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.
• Nota di bibliografia: Includes bibliographical references.
• Nota di contenuto: 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 Logic ; DEMO - A Demo of Epistemic Modelling
• Sommario/riassunto: A collection of excellent research papers in logic, mathematics, computer science and game theory
• Titolo autorizzato: Interactive logic
• ISBN: 9789048501120; 9048501121
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Olandese
• Record Nr.: 9910146420203321
• Lo trovi qui: Univ. Federico II
• Serie: Texts in logic and games ; ; v. 1.