Provability interpretations of modal logic (1976)

by R M Solovay
Venue:Israel Journal of Mathematics