K. H. Nielsen, “On the use of Kripke modality in language theory”, Tsf, vol. 3, no. 2, pp. 133–161, May 2005.