1991a (with Giovanni Sambin), "Provability: The emergence of a mathematical modality," "Studia Logica 50": 1-23.