Interactive Logic

by Johan van Benthem (Editor), Benedikt Löwe (Editor), Dov M. Gabbay (Editor)

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.

Unknown Binding

First published July 15, 2007

About the author

This author also uses these pen names:

J. Van Benthem
J.F.A.K. van Benthem