Interactive Logic
selected papers from the 7th Augustus de Morgan Workshop, London
In 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
Lees verder
Specificaties
| ISBN/EAN | 9789053563564 |
| Auteur | J. van Benthem |
| Uitgever | Amsterdam University Press |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 362 |
| Lengte | 234.0 mm |
| Breedte | 156.0 mm |
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[-] - 304