Reasoning-based introspection

Article dans une revue: We show that if an agent reasons according to standard inference rules, the truth and introspection axioms extend from the set of non-epistemic propositions to the whole set of propositions. This implies that the usual axiomatization of partitional possibility correspondences is redundant, and provides a justification for truth and introspection that is partly based on reasoning.

Auteur(s)

Olivier Gossner, Elias Tsakas

Revue
  • Theory and Decision
Date de publication
  • 2012
Mots-clés JEL
D80 D83 D89
Mots-clés
  • Knowledge
  • Introspection
  • Truth axiom
  • Partitional information structures
  • Epistemic game theory
Pages
  • 513-523
Version
  • 1
Volume
  • 73