Provability interpretations of modal logic (1976)

by Robert M Solovay
Venue:Israel Journal of Mathematics