 A recent, major step towards supplementing Kripke’s framework with a suitable conditional is that of Field (2008). Field’s theory is a major advance, but complex enough to be beyond the scope of this (very basic) introduction. Readers should consult Field’s own discussion for a taste of how such a modification might proceed. See Field (2008), and further discussion in Beall (2009).