Logic, Rationality, and Interaction - Baltag; Seligman, Jeremy; Yamada, Tomoyuki (Springer Berlin Heidelberg, 2017)