Scope:

There is now a growing body of research on formal algorithmic models of social procedures and interactions between rational agents. These models attempt to identify logical elements within our day-to-day social activities.

Largely using the language of logic and game theory, these studies have led to new insights into the dynamics of observation, updating of knowledge and belief, preference change, dialogues and processes of strategic interaction. Central to many of these studies is a multi-agent perspective on rational agency that situates inference in an interactive context.

In this context, a workshop on Logic and Social Interaction was held in the Institute of Mathematical Sciences, Chennai during 7-8 January, 2009, focussing on current advances made towards modelling complex multi-agent interactive situations, attempting to identify logical elements in our daily social activities. The workshop comprised of talks given by some renowned experts in this area and also featured shorter presentations of on-going research in these topics, providing opportunities for learning about interaction through interaction.

The planned special issue of the "Knowledge, Rationality and Action" section of the journal "Synthese" is a follow-up of the Workshop, to record research results and innovative ideas on logical studies of social interaction.

Topics of interest:

The special issue will consider all discussions on Logic and Interaction. Topics of interest include but are not limited to:

• Logics of games and strategies
• Logics of collective attitudes and social action
• Logics of rational agency
• Theories of bounded rationality
• Social choice theory
• Dynamics of preference change and aggregation
• Theories of belief revision and information update
• Theories of learning
• Epistemic logics
• Models and logics for communication
• Automata models for interaction
• Process theories of interaction
• Proof / Category-theoretic approaches to interaction
• Resource-bounded reasoning
• Commonsense epistemic reasoning
• Foundations of multi-agent systems

Submission:

Papers should not exceed 20 Synthese pages including figures, appendices etc. and should not have been previously published, nor currently submitted elsewhere for publication. Authors should prepare their manuscript using the template in the "Instructions for Authors" for Synthese.

Online submissions can be made at the Synthese Editorial Manager where author should choose 'Special issue on LSI' from the dropdown menu and follow the instructions given there.

Schedule:

• Submission Deadline: September 1, 2009
• Acceptance Decision: January 1, 2010
• Final Manuscript: March 1, 2010
• Publication Date (tentative): September 2010

Guest-Editors