CfP special issue of Studia Logica on "Logic and Games"

Formal logic and game theory can meet in many ways. While the use of games-for-logic, e.g., to define semantics of quantifiers or to compare logical models, goes back a long time, logic-for-games is a more recent and currently very active research direction which has been precipitated by the introduction of the notion of (multi-)agency in logic. If agents are assumed to be self-interested and to act rationally, then reasoning about action in a multi-agent setting requires reasoning about game theoretic concepts. Furthermore, logics capturing, e.g., the principles of action, belief, knowledge, time, preference and so on, can help explaining the foundations of game theoretic solutions, algorithms, etc.

The goal of the special issue of Studia Logica on Logic and Games is to illustrate current trends and present recent advances in this field. We invite submissions on all topics in the intersection between formal logic and game theory. The special issue will contain contributions from the following invited authors, in addition to selected submitted contributions: Johan van Benthem (UvA/Stanford), Rohit Parikh (New York), Michael Wooldridge (Liverpool).

Submission deadline: 15 August 2011 For more details, see http://www.ifispan.waw.pl/studialogica/si-logic-and-games.html.