The Logic of Provability