Interactive logic
Subtitle: selected papers from the 7th Augustus de Morgan Workshop, London
By: edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe
Contributors: Benthem, Johan van, 1949-; Löwe, Benedikt; Gabbay, Dov M., 1945-; ebrary, Inc
Series: Texts in logic and games -- v. 1
Publisher: Amsterdam University Press
Published: 2007
Place of publication: Amsterdam
Language: dut; eng
Format: [electronic resource] :
Number of pages: 362
ISBN-13: 9789053563564; 9789048501120
Subjects: Congresses; Symbolic and mathematical Logic; Game theory
Description: 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.
Notes: The 7th Augustus de Morgan workshop (ADMW) was held from November 4th to 7th, 2005 under the title Interactive logic : games and social software.

Includes bibliographical references.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.