1985c (with Giovanni Sambin), "An incomplete system of modal logic," "Journal of Philosophical Logic 14": 351-358.