Self-Reference and Modal Logic door Craig Smorynski