Skip to main content
Article thumbnail
Location of Repository

Reasoning-based introspection

By Olivier Gossner and Elias Tsakas

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

Topics: QA Mathematics
Publisher: Springer
Year: 2011
DOI identifier: 10.1007/s11238-011-9284-1
OAI identifier: oai:eprints.lse.ac.uk:39309
Provided by: LSE Research Online
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://www.springerlink.com/co... (external link)
  • http://eprints.lse.ac.uk/39309... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.