1987b, "On notions of provability in provability logic," "Abstracts of the 8th International Congress of Logic, Methodology and Philosophy of Science 5": 236-238.