Skip to content

Reasoning-based introspection

    Olivier Gossner and Elias Tsakas
    Theory and Decision, 73: 513-523, 2012

    Abstract: We show that if an agent reasons according to standard inference rules, the axioms of truth and introspection extend from the set of non-epistemic propositions to the whole set of propositions. This implies that the usual axiomatization of the partitional possibility correspondence, which describes an agent who processes information rationally, is redundant.