Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London
Produktdetaljer
Om bidragsyterne
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 UniversitAs 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