Theory and Decision

, Volume 73, Issue 4, pp 513–523 | Cite as

Reasoning-based introspection

Open Access


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.


Knowledge Introspection Truth axiom Partitional information structures Epistemic game theory 

JEL Classification

D80 D83 D89 


  1. Aumann R. J. (1976) Agreeing to disagree. Annals of Statistics 4: 1236–1239CrossRefGoogle Scholar
  2. Aumann R. J. (1987) Correlated equilibrium as an expression of Bayesian rationality. Econometrica 55: 1–18CrossRefGoogle Scholar
  3. Aumann R. J. (1999) Interactive epistemology I: Knowledge. International Journal of Game Theory 28: 263–300CrossRefGoogle Scholar
  4. Aumann R. J., Brandenburger A. (1995) Epistemic conditions for Nash equilibrium. Econometrica 63: 1161–1180CrossRefGoogle Scholar
  5. Chellas B. F. (1980) Modal logic: An introduction. Cambridge University Press, CambridgeCrossRefGoogle Scholar
  6. Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. (1995) Reasoning about knowledge. MIT press, CambridgeGoogle Scholar
  7. Geanakoplos, J. (1989). Game theory without partitions, and applications to speculation and consensus. Cowles Foundation Discussion Paper No. 914.Google Scholar
  8. Harsanyi, J. (1967–1968). Games with incomplete information played by Bayesian players, I–III. Management Science, 14, 159–182, 320–334, 486–502.Google Scholar
  9. Hughes G. E., Cresswell M. J. (1968) An introduction to modal logic. Methuen, LondonGoogle Scholar
  10. Kripke (1959) A completeness theorem in modal logic. Journal of Symbolic Logic 24: 1–14CrossRefGoogle Scholar
  11. Lismont L., Mongin P. (1994) On the logic of common belief and common knowledge. Theory and Decision 37: 75–106CrossRefGoogle Scholar
  12. Samet D. (1990) Ignoring ignorance and agreeing to disagree. Journal of Economic Theory 52: 190–207CrossRefGoogle Scholar

Copyright information

© The Author(s) 2011

Authors and Affiliations

  1. 1.Paris School of EconomicsParisFrance
  2. 2.London School of Economics and Political ScienceLondonUK
  3. 3.Maastricht UniversityMaastrichtThe Netherlands

Personalised recommendations