K. H. Nielsen, “On the use of Kripke modality in language theory”, Tsf, bd. 3, nr. 2, s. 133–161, maj 2005.