Advanced

Logical Dialogues with Explicit Preference Profiles and Strategy Selection

Genot, Emmanuel LU and Jacot, Justine LU (2017) In Journal of Logic, Language and Information 26(3). p.261-291
Abstract
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... (More)
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). (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Game semantics, Dialogical Logic, Game-theoretic semantics
in
Journal of Logic, Language and Information
volume
26
issue
3
pages
261 - 291
publisher
Springer Netherlands
external identifiers
  • scopus:85019590254
  • wos:000408634600002
ISSN
1572-9583
DOI
10.1007/s10849-017-9252-4
language
English
LU publication?
yes
id
19ba70c6-7699-453d-8093-1bfa0529225b
date added to LUP
2017-06-04 12:13:27
date last changed
2018-02-18 23:26:49
@article{19ba70c6-7699-453d-8093-1bfa0529225b,
  abstract     = {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).},
  author       = {Genot, Emmanuel and Jacot, Justine},
  issn         = {1572-9583},
  keyword      = {Game semantics,Dialogical Logic,Game-theoretic semantics},
  language     = {eng},
  number       = {3},
  pages        = {261--291},
  publisher    = {Springer Netherlands},
  series       = {Journal of Logic, Language and Information},
  title        = {Logical Dialogues with Explicit Preference Profiles and Strategy Selection},
  url          = {http://dx.doi.org/10.1007/s10849-017-9252-4},
  volume       = {26},
  year         = {2017},
}