Title: Self-Reference and Modal Logic