Solovay, "Provability Interpretations of Modal Logic"," "Journal of Symbolic Logic 46": 661-662.