Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Texts in Logic and Games) (Volume 1) - Softcover

Softcover

ISBN 10: 9053563563 ISBN 13: 9789053563564

Publisher: Amsterdam University Press, 2008

Synopsis

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.

About this title

About the Author:

Benedikt Löwe is assistant professor at the Institute for Logic, Language and Computation at the University of Amsterdam and director of its graduate program in logic. Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford Universit Dov Gabbay is the Augustus de De Morgan professor of Logic at King's College London.

Review:

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

About this edition

• Publisher: Amsterdam University Press
• Publication date: 2008
• ISBN 10: 9053563563
• ISBN 13: 9789053563564
• Binding: Paperback
• Edition number: 2
• Number of pages: 362
• Editor: Löwe Benedikt, Gabbay Dov, Benthem Johan Van