Abstract
In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of the question and the early responses by Kreisel and Löb and sketch how this discussion led to the development of Provability Logic. We argue that, in
... read more