Galanis, S. (2011). Syntactic foundations for unawareness of theorems. THEORY AND DECISION, 71(4), 593-614. https://doi.org/10.1007/s11238-010-9218-3