Overview

Traditionally, logic has dealt with notions of truthand reasoning. In the past several decades, however, research focus in logic has shifted to the vastfield of interactive logic – the domain of logic forboth 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.

Full Product Details

9789053563564

Table of Contents

Reviews

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

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

Author Information

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

Tab Content 6

Countries Available