Gossner, Olivier and Tsakas, Elias (2011) Reasoning-based introspection. Theory and Decision, Online . ISSN 0040-5833
Abstract
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.
| Item Type: | Article |
|---|---|
| Official URL: | http://www.springerlink.com/content/0040-5833/ |
| Additional Information: | © 2011 The authors |
| Library of Congress subject classification: | Q Science > QA Mathematics |
| Sets: | Departments > Mathematics |
| Date Deposited: | 08 Nov 2011 10:18 |
| URL: | http://eprints.lse.ac.uk/39309/ |
Actions (login required)
 |
Record administration - authorised staff only |
