Interactive Logic
Selected Papers from the 7th Augustus de Morgan Workshop, London
Dov Gabbay editor Johan van Benthem editor Benedikt Löwe editor
Format:Paperback
Publisher:Amsterdam University Press
Published:15th Jan '08
Currently unavailable, and unfortunately no date known when it will be back
Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic – the domain of logic for both communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games.
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
ISBN: 9789053563564
Dimensions: unknown
Weight: 552g
362 pages