1980a, "On systems of modal logic with provability interpretations," "Theoria 46": 7-18.