Nielsen, K. H. On the Use of Kripke Modality in Language Theory. Tsf 2005, 3, 133-161.