Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)

Jürgen Dix, Wojtek Jamroga & Dov Samet
This report documents the program and the outcomes of Dagstuhl Seminar 11101 ``Reasoning about Interaction: From Game Theory to Logic and Back''. The notion of interaction is crucial in several disciplines, including social science, operational research, and economics. Two frameworks are most prominent in the formal treatment of interaction: game theory and mathematical logic. Quantitative analysis is usually conducted using models and tools of game theory. At the same time, logic provides vocabulary and methods...