Catalogus
Omslag van Interactive Logic

Interactive Logic selected papers from the 7th Augustus de Morgan Workshop, London

B. Löwe red. · D. Gabbay red.
Paperback362 pagina’sEngelsSerie →
Ook verkrijgbaar als
Table of Contents[-] - 6[-]Preface[-] - 8[-]Ch. 1:[-]A Compositional Game Semantics for Multi-Agent Logics of Partial Information - 12[-]Ch. 2:[-]Quantificational Modal Operators and Their Semantics - 50[-]Ch. 3: A Note on Kuhn's Theor[-]em - 72[-]Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?[-] - 90[-]Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?[-] - 118[-]Ch. 6: Reasoning about Communication Graphs[-] - 136[-]Ch. 7: Epistemic Foundations for Backward Induction: An Overview[-] - 160[-]Ch. 8:[-]Multitape Games - 196[-]Ch. 9[-]: The Complexity of Schotland Yard - 210[-]Ch. 10[-]: Approaches to Independence Friendly Modal Logic - 248[-]Ch. 11: Team Logic[-] - 282[-]DEMO - A Demo of Epistemic Modelling[-] - 304In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logi
In het kort
NSTC 500101461 · CB-relatie 7400597 · Bijgewerkt 6 augustus 2026
Bestel bij bol → · € 49,99
← Catalogus
Omslag van Interactive Logic

Interactive Logic

selected papers from the 7th Augustus de Morgan Workshop, London
B. Löwe redacteur · D. Gabbay redacteur
Paperback362 pagina’sEngelsSerie: Texts in Logic and Games →
Ook verkrijgbaar als
Table of Contents[-] - 6[-]Preface[-] - 8[-]Ch. 1:[-]A Compositional Game Semantics for Multi-Agent Logics of Partial Information - 12[-]Ch. 2:[-]Quantificational Modal Operators and Their Semantics - 50[-]Ch. 3: A Note on Kuhn's Theor[-]em - 72[-]Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?[-] - 90[-]Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?[-] - 118[-]Ch. 6: Reasoning about Communication Graphs[-] - 136[-]Ch. 7: Epistemic Foundations for Backward Induction: An Overview[-] - 160[-]Ch. 8:[-]Multitape Games - 196[-]Ch. 9[-]: The Complexity of Schotland Yard - 210[-]Ch. 10[-]: Approaches to Independence Friendly Modal Logic - 248[-]Ch. 11: Team Logic[-] - 282[-]DEMO - A Demo of Epistemic Modelling[-] - 304In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logi
In het kort
NSTC 500101461 · CB-relatie 7400597 · Bijgewerkt 6 augustus 2026