Logic, Rationality, and Interaction - Grossi, Davide; Roy, Olivier; Huang, Huaxin; Huang, Huaxin; Roy, Olivier (Springer Berlin Heidelberg, 2013)