 This construction was not given by Kripke himself, but variants have been pursued by a number of authors, including Dowden (1984), Leitgeb (1999), Priest (1984, 2006), Visser (1984), and Woodruff (1984).