Reasoning-based introspection - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Access content directly
Journal Articles Theory and Decision Year : 2012

Reasoning-based introspection


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.

Dates and versions

halshs-00754575 , version 1 (20-11-2012)



Olivier Gossner, Elias Tsakas. Reasoning-based introspection. Theory and Decision, 2012, 73 (4), pp.513-523. ⟨10.1007/s11238-011-9284-1⟩. ⟨halshs-00754575⟩
112 View
0 Download



Gmail Mastodon Facebook X LinkedIn More