Interactive Logic
Titel
Interactive Logic
Subtitel
Selected Papers from the 7th Augustus de Morgan Workshop, London
Prijs
€ 65,95 excl. BTW
ISBN
9789053563564
Uitvoering
Paperback
Aantal pagina's
362
Taal
Engels
Publicatiedatum
Afmetingen
15.6 x 23.4 cm
Categorie
Mediastudies
Inhoudsopgave
Toon inhoudsopgaveVerberg inhoudsopgave
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

Recensies en Artikelen

As a first in the series Texts in Logic and Games, the volume Interactive Logic is a wonderful demonstration of contemporary topics in logic: agents with their limited information and abilities acting in a dynamic world, who while interacting, constantly have to change their mind (dynamic epistemic logics), be ready to decide (game theory and rationality) and act (dynamic logic), thereby hopefully achieving some desirable group behaviour (logics for social software). Wiebe van der Hoek University of Liverpool |Interactive Logic deals with logical approaches to communication, interaction, and strategic information and knowledge. This volume shows the breadth of this field and its applications from computing to games and economics. Professor Bernhard von Stengel, London School of Economics

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 Logic and Games’ ontstaan. Het eerste deel, Interactive Logic, is een collectie uitmuntende onderzoeksopstellen op het gebied van logica, wiskunde, computerwetenschappen en gametheorie.
Redacteurs

Benedikt Löwe

Benedikt Lowe is Universitair docent bij het Instituut voor Logica, Taal, en Computatie aan de Universiteit van Amsterdam en directeur van het Graduate programma in Logica.

Dov Gabbay

|Dov Gabbay is de Augustus De Morgan professor Logica aan King's College London.

Johan van Benthem

Johan van Benthem is professor Logica en zijn toepassingen aan de Universitieit van Amsterdam en professor filosofie aan de Universiteit van Standford.
lup=printpartner=