Logical Dialogues with Explicit Preference Profiles and Strategy Selection

Research output: Contribution to journalArticle


The Barth–Krabbe–Hintikka–Hintikka Problem, independently raised by Barth and Krabbe (From axiom to dialogue: a philosophical study of logics and argumentation. Walter de Gruyter, Berlin, 1982) and Hintikka and Hintikka (The sign of three: Peirce, Dupin, Holmes. In: Eco U, Sebeok TA (eds) 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 (classical and intuitionistic).


Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Philosophy
  • Algebra and Logic


  • Game semantics, Dialogical Logic, Game-theoretic semantics
Original languageEnglish
Pages (from-to)261-291
JournalJournal of Logic, Language and Information
Issue number3
Early online date2017 May 20
Publication statusPublished - 2017 Sep
Publication categoryResearch

Related research output

Justine Jacot, Emmanuel Genot & Frank Zenker, 2016, In : Journal of Applied Logic. 18, p. 105-128

Research output: Contribution to journalArticle

Emmanuel Genot & Justine Jacot, 2014, (Unpublished).

Research output: Contribution to conferencePaper, not in proceeding

Emmanuel Genot & Justine Jacot, 2012, (Submitted).

Research output: Contribution to conferencePaper, not in proceeding

View all (3)