Logic, Rationality, and Interaction - He, Xiangdong; Horty, John; Kanade, Takeo; Pacuit, Eric (Springer Berlin Heidelberg, 2009)