G. E. Reyes (1989). Non-standard truth-values and modalities. Atti degli Incontri di Logica
Matematica (AILA), XIII Incontro: Logiche modali et temporali, 53-65. (TT&CL)
« A Boolean-valued Version of Gupta’s Semantics • Topos-theoretic approaches to modality »