| Article ID: | iaor20124903 |
| Volume: | 73 |
| Issue: | 4 |
| Start Page Number: | 513 |
| End Page Number: | 523 |
| Publication Date: | Oct 2012 |
| Journal: | Theory and Decision |
| Authors: | Gossner Olivier, Tsakas Elias |
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.