An incomplete system of modal logic (1985)

by George Boolos, Giovanni Sambin
Venue:Journal of Philosophical Logic