Self-Reference and Modal Logic by Craig Smorynski