Galanis, Spyros, "Syntactic foundations for unawareness of theorems", THEORY AND DECISION, 2011