Self-Reference and Modal Logic (Universitext)