Logic, Rationality, and Interaction