Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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
and
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
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
2023-10-05 10:39:54
@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}},
  keywords     = {{Game semantics; Dialogical Logic; Game-theoretic semantics}},
  language     = {{eng}},
  number       = {{3}},
  pages        = {{261--291}},
  publisher    = {{Springer}},
  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}},
  doi          = {{10.1007/s10849-017-9252-4}},
  volume       = {{26}},
  year         = {{2017}},
}