Gossner, Olivier
ORCID: 0000-0003-3950-0208 and Tsakas, Elias
(2011)
Reasoning-based introspection.
Theory and Decision, Online.
ISSN 0040-5833
Identification Number: 10.1007/s11238-011-9284-1
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 |
| Divisions: | Mathematics |
| Subjects: | Q Science > QA Mathematics |
| Date Deposited: | 08 Nov 2011 10:18 |
| Last Modified: | 15 Nov 2025 06:28 |
| URI: | http://eprints.lse.ac.uk/id/eprint/39309 |
Actions (login required)
![]() |
View Item |
