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

Benthem, Johan; Gabbay, Dov; Loewe, Benedikt

Softcover

ISBN 10: 9053563563 ISBN 13: 9789053563564

Publisher: Amsterdam University Press, 2014

Synopsis

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast fi eld of interactive logic, encompassing logics of communication and interaction. The main applications of this move to multi-agent notions are logical approaches to games and social software.The wealth of applications in these areas was the focus of the 7th Augustus de Morgan Workshop in November 2005. At this workshop, the idea of the new book series Texts in Logic and Games was born, and so it is very appropriate that this collection of excellent papers from the workshop is now published as the fi rst volume of the new series. The papers in this volume are research papers in logic, mathematics, computer science, and game theory. Readers of the book would be researchers and graduate students of these fields.

About this title

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 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.|Dov Gabbay is the Augustus de De Morgan professor of Logic at King's College London.|Johan van Benthem is professor of logic and its applications at the University of Amsterdam and professor of philosophy at Stanford Universit

Edition details

• Publisher: Amsterdam University Press
• Publication date: 2014
• ISBN 10: 9053563563
• ISBN 13: 9789053563564
• Binding: Paperback
• Language: English
• Edition number: 2
• Number of pages: 364