1980, "Omega-consistency and the diamond," "Studia Logica 39": 237-243.