1980c, "Provability, truth, and modal logic," "Journal of Philosophical Logic 9": 1-7.