Logical Dialogues with Explicit Preference Profiles and Strategy Selection

The Barth–Krabbe–Hintikka–Hintikka Problem, independently raised by Barth and Krabbe and Hintikka and Hintikka Sherlock Holmes confronts modern logic: Toward a theory of information-seeking through questioning. Indiana University Press, Bloomington, 1983), is the problem of characterizing the strategic reasoning of the players of dialogical logic and game-theoretic semantics games from rational preferences rather than rules. We solve the problem by providing a set of preferences for players with bounded rationality and specifying strategic inferences from those preferences, for a variant of logical dialogues. This solution is generalized to both game-theoretic semantics and orthodox dialogical logic.